Code

Upgrade toolchain to 08/28#3454

Code

Merged

jaisnan merged 15 commits intomodel-checking:mainmodel-checking/kani:mainfrom jaisnan:fix-toolchain-820jaisnan/kani:fix-toolchain-820Copy head branch name to clipboardAug 28, 2024

+46-13

Commits

Commits on Aug 20, 2024

• Upgrade toolchain to 08/20

  jaisnan

  committed
  6777e7c

  Copy full SHA for 6777e7c

• Remove leftover test file

  jaisnan

  committed
  9bf5f8d

  Copy full SHA for 9bf5f8d

• Merge branch 'main' into fix-toolchain-820

  jaisnan

  authored
  c960770

  Copy full SHA for c960770

• Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani into fix-toolchain-820

  jaisnan

  committed
  9cdca7f

  Copy full SHA for 9cdca7f

Commits on Aug 26, 2024

• Update to 08/26

  jaisnan

  committed
  4556921

  Copy full SHA for 4556921

• Merge branch 'main' of https://github.com/model-checking/kani into fix-toolchain-820

  jaisnan

  committed
  5918bf2

  Copy full SHA for 5918bf2

Commits on Aug 27, 2024

• Upgrade to 8/27 and fix breaks in cargo

  jaisnan

  committed
  c8bfdb0

  Copy full SHA for c8bfdb0

• Merge branch 'main' into fix-toolchain-820

  jaisnan

  authored
  f205511

  Copy full SHA for f205511

Commits on Aug 28, 2024

• Update to 08/28

  jaisnan

  committed
  825e880

  Copy full SHA for 825e880

• Fix clippy errors

  jaisnan

  committed
  6e07c05

  Copy full SHA for 6e07c05

• Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani into fix-toolchain-820

  jaisnan

  committed
  9818fec

  Copy full SHA for 9818fec

• Remove unnecessary print statements

  jaisnan

  committed
  d35186e

  Copy full SHA for d35186e

• Add a blanket allow across the workspace for "too_long_first_doc_paragraph"

  jaisnan

  committed
  df4008e

  Copy full SHA for df4008e

• Revert whitespace change

  jaisnan

  committed
  beb375d

  Copy full SHA for beb375d

• Cargo fmt + clippy

  jaisnan

  committed
  cd53bcf

  Copy full SHA for cd53bcf