Code

Clippy in Regressions.#1403

Code

Merged

YoshikiTakashima merged 32 commits intomodel-checking:mainmodel-checking/kani:mainfrom YoshikiTakashima:yoshi-clippy-complianceYoshikiTakashima/kani:yoshi-clippy-complianceCopy head branch name to clipboardJul 26, 2022

+83-6

Commits

Commits on Jul 22, 2022

• Added jq for json querying.

  YoshikiTakashima

  committed
  96c5055

• Added clippy to regression.

  YoshikiTakashima

  committed
  0547a1d

• Added error ignore and todo to kani-compiler.

  YoshikiTakashima

  committed
  ba12b55

• Added clippy todo to cprover_bindings.

  YoshikiTakashima

  committed
  e7b194d

• Forced failure on warnings (Werror for clippy).

  YoshikiTakashima

  committed
  a731fa5

Commits on Jul 23, 2022

• Added clippy todo to compiletest.

  YoshikiTakashima

  committed
  05b7728

• Clippy supression for bookrunner.

  YoshikiTakashima

  committed
  476c88c

• Resolved metadata warnings with publish = false.

  YoshikiTakashima

  committed
  0846e95

• Clippy todo for kani library.

  YoshikiTakashima

  committed
  dfb712a

• Clippy todos and publish fix for kani_macros.

  YoshikiTakashima

  committed
  5b0c159

• Cargo fmt.

  YoshikiTakashima

  committed
  7f6d50c

• Merge branch 'main' of github.com:model-checking/kani into yoshi-clippy-compliance

  YoshikiTakashima

  committed
  7db5b7d

Commits on Jul 25, 2022

• Temporally turned off clippy fail.

  YoshikiTakashima

  committed
  1832866

• Merge branch 'main' into yoshi-clippy-compliance

  YoshikiTakashima

  authored
  2bc5ead

• Moved clippy to format checks.

  YoshikiTakashima

  committed
  df626cf

• Merge branch 'yoshi-clippy-compliance' of github.com:YoshikiTakashima/kani into yoshi-clippy-compliance

  YoshikiTakashima

  committed
  0885ef8

• Moved clippy to the format check.

  YoshikiTakashima

  committed
  f89f24b

• Added missing dependency.

  YoshikiTakashima

  committed
  9fd5572

• Fixed yaml overwrite problem.

  YoshikiTakashima

  committed
  5c0a918

• Gather stats on clippy warnings.

  YoshikiTakashima

  committed
  37cd803

• jq install for osx not needed.

  YoshikiTakashima

  committed
  7803971

• Moved clippy control to a central config file.

  YoshikiTakashima

  committed
  f3d9252

• Fixed clippy warnings under library/

  YoshikiTakashima

  committed
  2985448

• Adjusted actions to print stats by removing lint supression.

  YoshikiTakashima

  committed
  27557a0

• Merge branch 'main' of github.com:model-checking/kani into yoshi-clippy-compliance

  YoshikiTakashima

  committed
  a363270

• Ignored 3 clippy warnings that regressed after merge.

  YoshikiTakashima

  committed
  6ed0866

• Forgot to remove manual -A

  YoshikiTakashima

  committed
  cf7a0ff

• Merge branch 'main' of github.com:model-checking/kani into yoshi-clippy-compliance

  YoshikiTakashima

  committed
  19c39e4

Commits on Jul 26, 2022

• got rid of redundant allowed lints.

  YoshikiTakashima

  authored
  88a98da

• Merge branch 'main' into yoshi-clippy-compliance

  YoshikiTakashima

  authored
  b7e46ba

• Moved jq install to workflow side.

  YoshikiTakashima

  committed
  455c42f

• removed .cargo from gitignore

  YoshikiTakashima

  committed
  806c3db