Code

Upgrade toolchain to 2024-02-14#3036

Code

Merged

jaisnan merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:toolchain-2024-02-14zhassan-aws/kani:toolchain-2024-02-14Copy head branch name to clipboardFeb 20, 2024

+38-26

Commits

Commits on Feb 20, 2024

• Upgrade toolchain to 2024-02-14

  zhassan-aws

  committed
  ac69a11

  Copy full SHA for ac69a11