Code

Upgrade toolchain to 2024-12-09#3768

Code

Merged

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:2024-12-09-toolchaincarolynzech/kani:2024-12-09-toolchainCopy head branch name to clipboardDec 9, 2024

+28-27

Commits

Commits on Dec 9, 2024

• Upgrade toolchain to 12/09

  carolynzech

  committed
  caab660