Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update the release notes to include new changes #3588

Merged
merged 1 commit into from
Oct 9, 2024
Merged

Update the release notes to include new changes #3588

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,10 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from

## [0.56.0]

### Breaking Changes
### Major/Breaking Changes

* Remove obsolete linker options (`--mir-linker` and `--legacy-linker`) by @zhassan-aws in https://github.com/model-checking/kani/pull/3559
* List Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3523
* Deprecate `kani::check` by @celinval in https://github.com/model-checking/kani/pull/3557

### What's Changed
Expand All @@ -20,6 +21,7 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
* Add experimental API to generate arbitrary pointers by @celinval in https://github.com/model-checking/kani/pull/3538
* Running `verify-std` no longer changes Cargo files by @celinval in https://github.com/model-checking/kani/pull/3577
* Add an LLBC backend by @zhassan-aws in https://github.com/model-checking/kani/pull/3514
* Fix the computation of the number of bytes of a pointer offset by @zhassan-aws in https://github.com/model-checking/kani/pull/3584
* Rust toolchain upgraded to nightly-2024-10-03 by @qinheping @tautschnig @celinval
* CBMC upgraded to 6.3.1 by @tautschnig in https://github.com/model-checking/kani/pull/3537

Expand Down
Loading