Code

Bump Kani version to 0.57.0#3777

Code

Merged

tautschnig merged 8 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:release-kani-0.57.0tautschnig/kani:release-kani-0.57.0Copy head branch name to clipboardDec 16, 2024

+66-20

Commits

Commits on Dec 13, 2024

• Bump Kani version to 0.52.0 (model-checking#3224)

  Show description for 6ece0f2
  tautschnig

  committed
  6ece0f2

Commits on Dec 16, 2024

• Merge remote-tracking branch 'origin/main' into release-kani-0.57.0

  tautschnig

  committed
  c973ecb

• Update CHANGELOG.md

  Show description for d2467e6
  

  tautschnig

  and

  zhassan-aws

  authored
  d2467e6

• Update CHANGELOG.md

  Show description for ed4a175
  

  tautschnig

  and

  carolynzech

  authored
  ed4a175

• Update CHANGELOG.md

  Show description for 11df469
  

  tautschnig

  and

  carolynzech

  authored
  11df469

• Update CHANGELOG.md

  Show description for ff768f8
  

  tautschnig

  and

  carolynzech

  authored
  ff768f8

• Update CHANGELOG.md

  Show description for b3c8301
  

  tautschnig

  and

  carolynzech

  authored
  b3c8301

• Apply suggested cleanup

  tautschnig

  committed
  116d3d1