Code

Bump Kani version to 0.55.0#3486

Code

Merged

zhassan-aws merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:kani-0.55.0zhassan-aws/kani:kani-0.55.0Copy head branch name to clipboardSep 4, 2024

+42-20

Commits

Commits on Sep 3, 2024

• Bump Kani version to 0.55.0

  zhassan-aws

  committed
  3d3f7c3

  Copy full SHA for 3d3f7c3

Commits on Sep 4, 2024

• Remove PRs with no user impact

  zhassan-aws

  committed
  6d138fc

  Copy full SHA for 6d138fc

• Call out new coverage behavior

  zhassan-aws

  committed
  2515054

  Copy full SHA for 2515054

• Add a note on memory initialization checks

  zhassan-aws

  committed
  45db74e

  Copy full SHA for 45db74e