Code

Bump Kani version to 0.46.0#3013

Code

Merged

feliperodri merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom feliperodri:kani-0.46.0feliperodri/kani:kani-0.46.0Copy head branch name to clipboardFeb 9, 2024

Commits

Commits on Feb 8, 2024

• Bump Kani version to 0.46.0

  Show description for 4c29db5
  feliperodri

  committed
  4c29db5

  Copy full SHA for 4c29db5

Commits on Feb 9, 2024

• Update the CHANGELOG message

  Show description for 88b56aa
  feliperodri

  committed
  88b56aa

  Copy full SHA for 88b56aa

• Update CHANGELOG.md

  celinval

  authored
  7e1d696

  Copy full SHA for 7e1d696

• Update CHANGELOG.md

  Show description for 79df3cb
  

  feliperodri

  and

  celinval

  authored
  79df3cb

  Copy full SHA for 79df3cb