Code

Bump Kani version to 0.51.0#3176

Code

Merged

karkhaz merged 6 commits intomodel-checking:mainmodel-checking/kani:mainfrom karkhaz:2024-05-06-bump-kani-0.51.0karkhaz/kani:2024-05-06-bump-kani-0.51.0Copy head branch name to clipboardMay 7, 2024

+31-18

Commits

Commits on May 7, 2024

• Bump Kani version to 0.51.0

  karkhaz

  committed
  cbd4bd3

  Copy full SHA for cbd4bd3

• Update Cargo.lock

  karkhaz

  committed
  176ccb2

  Copy full SHA for 176ccb2

• Add changelog

  karkhaz

  committed
  b7764ae

  Copy full SHA for b7764ae

• Update CHANGELOG.md

  Show description for 6849d10
  

  karkhaz

  and

  adpaco-aws

  authored
  6849d10

  Copy full SHA for 6849d10

• Update CHANGELOG.md

  Show description for f6efc71
  

  karkhaz

  and

  adpaco-aws

  authored
  f6efc71

  Copy full SHA for f6efc71

• Remove cargo audit error fix from changelog

  karkhaz

  committed
  6420cb8

  Copy full SHA for 6420cb8