Bump Kani version to 0.57.0#3777

Merged

tautschnig merged 8 commits intomodel-checking:mainfrom

tautschnig:release-kani-0.57.0

Dec 16, 2024

Commits on Dec 13, 2024

Bump Kani version to 0.52.0 (#3224)
tautschnig
committed

Commits on Dec 16, 2024

Merge remote-tracking branch 'origin/main' into release-kani-0.57.0
tautschnig
committed
Update CHANGELOG.md

tautschnig
and
zhassan-aws
authored
Update CHANGELOG.md

tautschnig
and
Carolyn Zech
authored
Update CHANGELOG.md

tautschnig
and
Carolyn Zech
authored
Update CHANGELOG.md

tautschnig
and
Carolyn Zech
authored
Update CHANGELOG.md

tautschnig
and
Carolyn Zech
authored
Apply suggested cleanup
tautschnig
committed