Code

Upgrade toolchain to 2024-10-30#3661

Code

Merged

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2024-10-30-manualtautschnig/kani:toolchain-2024-10-30-manualCopy head branch name to clipboardOct 30, 2024

+2-2

Commits

Commits on Oct 30, 2024

• Upgrade toolchain to 2024-10-30

  Show description for 784435b
  tautschnig

  committed
  784435b