Code

Patch kani 0.49.1#3147

Code

Merged

celinval merged 2 commits intomodel-checking:release-0.49.1model-checking/kani:release-0.49.1from celinval:patch-kani-0.49.1celinval/kani-dev:patch-kani-0.49.1Copy head branch name to clipboardApr 17, 2024

+110-43

Commits

Commits on Apr 17, 2024

• Upgrade toolchain to nightly-2024-04-15 (model-checking#3144)

  Show description for 5d962b5
  celinval

  committed
  5d962b5

  Copy full SHA for 5d962b5

• Update the rust toolchain to nightly-2024-04-02 (model-checking#3127)

  Show description for 46eda96
  

  tautschnig

  authored and

  celinval

  committed
  46eda96

  Copy full SHA for 46eda96