Code

Update Cbmc version #2512

Code

Merged

celinval merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:maincelinval/kani-dev:mainCopy head branch name to clipboardJun 9, 2023

+2-2

Commits

Commits on Jun 9, 2023

• Update Cbmc version

  celinval

  authored
  b095ba4

  Copy full SHA for b095ba4

• Update regression to check for Cbmc latest

  celinval

  authored
  24ce5b7

  Copy full SHA for 24ce5b7

• Merge pull request #4 from celinval/celinval-patch-2

  Show description for 75a3a0c
  celinval

  authored
  75a3a0c

  Copy full SHA for 75a3a0c

• Merge branch 'main' into main

  zhassan-aws

  authored
  bb10854

  Copy full SHA for bb10854