Code

Upgrade toolchain to 2024-11-01#3671

Code

Merged

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2024-11-01-manualtautschnig/kani:toolchain-2024-11-01-manualCopy head branch name to clipboardNov 1, 2024

+7-7

Commits

Commits on Nov 1, 2024

• Upgrade toolchain to 2024-11-01

  Show description for 6d9fc12
  tautschnig

  committed
  6d9fc12

  Copy full SHA for 6d9fc12