Code

Upgrade toolchain to 2024-12-12#3774

Code

Merged

carolynzech merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:toolchain-2024-12-12carolynzech/kani:toolchain-2024-12-12Copy head branch name to clipboardDec 13, 2024

+18-264

Commits

Commits on Dec 12, 2024

• Update toolchain to 2024-12-10

  carolynzech

  committed
  42a72ed

  Copy full SHA for 42a72ed

• Update toolchain to 2024-12-11

  carolynzech

  committed
  350c732

  Copy full SHA for 350c732

• Update toolchain to 2024-12-12

  carolynzech

  committed
  7e70f58

  Copy full SHA for 7e70f58

• empty expected files for complex LLBC tests

  carolynzech

  committed
  97d7415

  Copy full SHA for 97d7415