Code

Update toolchain to 2024-09-23#3544

Code

Merged

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

+503-546

Commits

Commits on Sep 24, 2024

• Update toolchain to 2024-09-24

  Show description for b74a220
  tautschnig

  committed
  b74a220

  Copy full SHA for b74a220

• Silence warnings about mutable reference to mutable static

  tautschnig

  committed
  7fbbc48

  Copy full SHA for 7fbbc48

• Toolchain of 24th is ICEs in doc build

  tautschnig

  committed
  0605e85

  Copy full SHA for 0605e85