Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clippy in Regressions. #1403

Merged
Merged
Changes from 1 commit
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
96c5055
Added jq for json querying.
YoshikiTakashima Jul 22, 2022
0547a1d
Added clippy to regression.
YoshikiTakashima Jul 22, 2022
ba12b55
Added error ignore and todo to kani-compiler.
YoshikiTakashima Jul 22, 2022
e7b194d
Added clippy todo to cprover_bindings.
YoshikiTakashima Jul 22, 2022
a731fa5
Forced failure on warnings (Werror for clippy).
YoshikiTakashima Jul 22, 2022
05b7728
Added clippy todo to compiletest.
YoshikiTakashima Jul 23, 2022
476c88c
Clippy supression for bookrunner.
YoshikiTakashima Jul 23, 2022
0846e95
Resolved metadata warnings with publish = false.
YoshikiTakashima Jul 23, 2022
dfb712a
Clippy todo for kani library.
YoshikiTakashima Jul 23, 2022
5b0c159
Clippy todos and publish fix for kani_macros.
YoshikiTakashima Jul 23, 2022
7f6d50c
Cargo fmt.
YoshikiTakashima Jul 23, 2022
7db5b7d
Merge branch 'main' of github.com:model-checking/kani into yoshi-clip…
YoshikiTakashima Jul 23, 2022
1832866
Temporally turned off clippy fail.
YoshikiTakashima Jul 25, 2022
2bc5ead
Merge branch 'main' into yoshi-clippy-compliance
YoshikiTakashima Jul 25, 2022
df626cf
Moved clippy to format checks.
YoshikiTakashima Jul 25, 2022
0885ef8
Merge branch 'yoshi-clippy-compliance' of github.com:YoshikiTakashima…
YoshikiTakashima Jul 25, 2022
f89f24b
Moved clippy to the format check.
YoshikiTakashima Jul 25, 2022
9fd5572
Added missing dependency.
YoshikiTakashima Jul 25, 2022
5c0a918
Fixed yaml overwrite problem.
YoshikiTakashima Jul 25, 2022
37cd803
Gather stats on clippy warnings.
YoshikiTakashima Jul 25, 2022
7803971
jq install for osx not needed.
YoshikiTakashima Jul 25, 2022
f3d9252
Moved clippy control to a central config file.
YoshikiTakashima Jul 25, 2022
2985448
Fixed clippy warnings under library/
YoshikiTakashima Jul 25, 2022
27557a0
Adjusted actions to print stats by removing lint supression.
YoshikiTakashima Jul 25, 2022
a363270
Merge branch 'main' of github.com:model-checking/kani into yoshi-clip…
YoshikiTakashima Jul 25, 2022
6ed0866
Ignored 3 clippy warnings that regressed after merge.
YoshikiTakashima Jul 25, 2022
cf7a0ff
Forgot to remove manual -A
YoshikiTakashima Jul 25, 2022
19c39e4
Merge branch 'main' of github.com:model-checking/kani into yoshi-clip…
YoshikiTakashima Jul 25, 2022
88a98da
got rid of redundant allowed lints.
YoshikiTakashima Jul 26, 2022
b7e46ba
Merge branch 'main' into yoshi-clippy-compliance
YoshikiTakashima Jul 26, 2022
455c42f
Moved jq install to workflow side.
YoshikiTakashima Jul 26, 2022
806c3db
removed .cargo from gitignore
YoshikiTakashima Jul 26, 2022
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Added error ignore and todo to kani-compiler.
YoshikiTakashima committed Jul 22, 2022
commit ba12b5590fe9246d97c5ab906807197d2a803f03
1 change: 1 addition & 0 deletions kani-compiler/Cargo.toml
Original file line number Diff line number Diff line change
@@ -6,6 +6,7 @@ name = "kani-compiler"
version = "0.6.0"
edition = "2021"
license = "MIT OR Apache-2.0"
publish = false

[dependencies]
ar = { version = "0.9.0", optional = true }
11 changes: 11 additions & 0 deletions kani-compiler/src/main.rs
Original file line number Diff line number Diff line change
@@ -7,6 +7,17 @@
//! Like miri, clippy, and other tools developed on the top of rustc, we rely on the
//! rustc_private feature and a specific version of rustc.
#![deny(warnings)]

// todo: fix clippy warnings
#![allow(clippy::expect_fun_call, clippy::explicit_auto_deref,
clippy::if_same_then_else, clippy::iter_nth_zero,
clippy::let_and_return, clippy::manual_map, clippy::map_entry,
clippy::match_like_matches_macro, clippy::module_inception,
clippy::needless_arbitrary_self_type, clippy::needless_bool,
clippy::needless_return, clippy::new_ret_no_self,
clippy::new_without_default, clippy::or_fun_call,
clippy::redundant_clone, clippy::type_complexity)]

#![feature(extern_types)]
#![recursion_limit = "256"]
#![feature(box_patterns)]