Code

Update toolchain to 2024-09-20#3539

Code

Merged

tautschnig merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2024-09-18-manualtautschnig/kani:toolchain-2024-09-18-manualCopy head branch name to clipboardSep 24, 2024

+332-8

Commits

Commits on Sep 23, 2024

• Update toolchain to 2024-09-20

  Show description for cf75434
  tautschnig

  committed
  cf75434

  Copy full SHA for cf75434

• Address warning

  tautschnig

  committed
  7c248d1

  Copy full SHA for 7c248d1

• Merge remote-tracking branch 'origin/main' into toolchain-2024-09-18-manual

  tautschnig

  committed
  664f35a

  Copy full SHA for 664f35a