Code

Upgrade Toolchain to 8/29#3468

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom carolynzech:update-toolchaincarolynzech/kani:update-toolchainCopy head branch name to clipboardAug 29, 2024

+13-13

Commits

Commits on Aug 29, 2024

• change CodeRegion to SourceRegion

  carolynzech

  committed
  7f6d23e

  Copy full SHA for 7f6d23e