Code

Update toolchain to 2022-07-05#1340

Code

Merged

celinval merged 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-1336-toolchaincelinval/kani-dev:issue-1336-toolchainCopy head branch name to clipboardJul 6, 2022

+215-219

Commits

Commits on Jul 6, 2022

• Update toolchain to 2022-07-05

  Show description for 4a4539b
  celinval

  committed
  4a4539b

  Copy full SHA for 4a4539b

• Codegen unimplemented for unsupported constant slices

  Show description for 71b1188
  celinval

  committed
  71b1188

  Copy full SHA for 71b1188

• Fix copyright check

  celinval

  committed
  9f17da9

  Copy full SHA for 9f17da9

• Use codegen_option_span instead

  celinval

  committed
  6134f1d

  Copy full SHA for 6134f1d

• Merge branch 'main' into issue-1336-toolchain

  celinval

  authored
  5821f87

  Copy full SHA for 5821f87

• Merge branch 'main' into issue-1336-toolchain

  celinval

  authored
  519ed87

  Copy full SHA for 519ed87