Code

Upgrade toolchain to 2024-12-15#3784

Code

Merged

feliperodri merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:toolchain-2024-12-15carolynzech/kani:toolchain-2024-12-15Copy head branch name to clipboardDec 16, 2024

+36-9

Commits

Commits on Dec 16, 2024

• Upgrade toolchain to 2024-12-15

  carolynzech

  committed
  9e743db