Code

Upgrade toolchain to 2025-01-15#3835

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:toolchain-2025-01-14-manualtautschnig/kani:toolchain-2025-01-14-manualCopy head branch name to clipboardJan 15, 2025

+1-1

Commits

Commits on Jan 15, 2025

• Upgrade toolchain to 2025-01-15

  Show description for b8d8e75
  tautschnig

  committed
  b8d8e75

  Copy full SHA for b8d8e75