Skip to content

Commit

Permalink
Fix toolchain version in 0.57.0 CHANGELOG (model-checking#3786)
Browse files Browse the repository at this point in the history
By now, we have updated to 2024-12-14.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
  • Loading branch information
tautschnig authored Dec 16, 2024
1 parent e6f6d7d commit 9fd39c0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
* Add a Kani function that checks if the range of a float is valid for conversion to int by @zhassan-aws in https://github.com/model-checking/kani/pull/3742
* Add out of bounds check for `offset` intrinsics by @celinval in https://github.com/model-checking/kani/pull/3755
* Automatic upgrade of CBMC from 6.3.1 to 6.4.1
* Rust toolchain upgraded to nightly-2024-12-13 by @zhassan-aws @carolynzech @qinheping @celinval @tautschnig
* Rust toolchain upgraded to nightly-2024-12-15 by @zhassan-aws @carolynzech @qinheping @celinval @tautschnig

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.56.0...kani-0.57.0

Expand Down

0 comments on commit 9fd39c0

Please sign in to comment.