Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Zyad Hassan <[email protected]>
  • Loading branch information
@tautschnig @zhassan-aws
tautschnig and zhassan-aws authored Dec 16, 2024
1 parent c973ecb commit d2467e6
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,6 @@ 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
* Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 by @tautschnig in https://github.com/model-checking/kani/pull/3758
* 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

Expand Down

0 comments on commit d2467e6

Please sign in to comment.