Skip to content

Fix CHANGELOG of 0.60.0 #3925

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

Merged
qinheping merged 1 commit into from
Mar 6, 2025
Merged

Fix CHANGELOG of 0.60.0 #3925

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 @@ -7,9 +7,11 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
## [0.60.0]

### Breaking Changes
* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874
* Remove Ubuntu 20.04 CI usage by @tautschnig in https://github.com/model-checking/kani/pull/3918

### Major Changes
* Autoharness Subcommand by @carolynzech in https://github.com/model-checking/kani/pull/3874

### What's Changed
* Fast fail option - Stop verification process as soon as one failure is observed by @rajath-mk in https://github.com/model-checking/kani/pull/3879
* Fail verification for UB regardless of whether `#[should_panic]` is enabled by @tautschnig in https://github.com/model-checking/kani/pull/3860
Expand Down
Loading