Code

Update toolchain to 2024-10-17#3610

Code

Merged

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:toolchain-2024-10-17zhassan-aws/kani:toolchain-2024-10-17Copy head branch name to clipboardOct 17, 2024

+3-5

Commits

Commits on Oct 17, 2024

• Update toolchain to 2024-10-17

  zhassan-aws

  committed
  dcd8ccd