Code

Update rust toolchain version#750

Code

Merged

celinval merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-747-mergecelinval/kani-dev:issue-747-mergeCopy head branch name to clipboardJan 17, 2022

+13-18

Commits

Commits on Jan 17, 2022

• Update rust toolchain version

  Show description for 2b6be2e
  celinval

  committed
  2b6be2e

  Copy full SHA for 2b6be2e

• Update typ.rs

  Show description for 078c4ac
  celinval

  committed
  078c4ac

  Copy full SHA for 078c4ac

• Add a placeholder for type normalization function

  Show description for 0a7905f
  celinval

  committed
  0a7905f

  Copy full SHA for 0a7905f

• Remove the LOC of the expected failure

  Show description for 9d4a26d
  celinval

  committed
  9d4a26d

  Copy full SHA for 9d4a26d