Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Celina G. Val <[email protected]>
  • Loading branch information
@qinheping @celinval
qinheping and celinval authored Jan 10, 2025
1 parent b387e94 commit bb978d5
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 @@ -12,7 +12,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
* Add UB checks for ptr_offset_from* intrinsics by @celinval in https://github.com/model-checking/kani/pull/3757

### What's Changed
* Package Docker release step: ensure compiler is installed by @tautschnig in https://github.com/model-checking/kani/pull/3789
* Include manifest-path when checking if packages are in the workspace by @qinheping in https://github.com/model-checking/kani/pull/3819
* Update kissat to v4.0.1 by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/3791
* Rust toolchain upgraded to 2025-01-07 by @remi-delmas-3000 @zhassan-aws
Expand Down

0 comments on commit bb978d5

Please sign in to comment.