Code

Update toolchain to 2024-09-26#3549

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2024-09-26-manualtautschnig/kani:toolchain-2024-09-26-manualCopy head branch name to clipboardSep 27, 2024

+94-90

Commits

Commits on Sep 26, 2024

• Update toolchain to 2024-09-23 (model-checking#3544)

  Show description for eab5096
  tautschnig

  committed
  eab5096

  Copy full SHA for eab5096