Code

Bump CBMC viewer version to 3.5#1261

Code

Merged

zhassan-aws merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:viewer-3.4zhassan-aws/kani:viewer-3.4Copy head branch name to clipboardJun 10, 2022

+5-5

Commits

Commits on Jun 7, 2022

• Bump CBMC viewer version to 3.4

  zhassan-aws

  committed
  484291d

Commits on Jun 10, 2022

• Merge branch 'main' into viewer-3.4

  zhassan-aws

  committed
  874280b

• Use version 3.5 instead

  zhassan-aws

  committed
  27813fb

• Update minimum CBMC viewer version

  zhassan-aws

  committed
  3c8ba0d