Code

Upgrade toolchain to 2024-05-14#3183

Code

Merged

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:toolchain-2024-05-14zhassan-aws/kani:toolchain-2024-05-14Copy head branch name to clipboardMay 15, 2024

+241-130

Commits

Commits on May 14, 2024

• Upgrade toolchain to 2024-05-14

  zhassan-aws

  committed
  1216a71

  Copy full SHA for 1216a71

Commits on May 15, 2024

• Add a build.rs for kani_macros

  zhassan-aws

  committed
  f7dc021

  Copy full SHA for f7dc021