Skip to content

Bump Kani Version #4147

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
Merged
merged 7 commits into from
Jun 9, 2025
Merged

Bump Kani Version #4147

merged 7 commits into from
Jun 9, 2025

Conversation

zhassan-aws
Copy link
Contributor

These are the automatically-generated release notes:

## What's Changed
* Toolchain upgrade to nightly-2025-05-04 by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/4059
* Automatic toolchain upgrade to nightly-2025-05-05 by @github-actions in https://github.com/model-checking/kani/pull/4060
* Automatic toolchain upgrade to nightly-2025-05-06 by @github-actions in https://github.com/model-checking/kani/pull/4061
* Enable target features: x87 and sse2 by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/4062
* Fix the bug: Loop contracts are not composable with function contracts  by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/3979
* Automatic cargo update to 2025-05-12 by @github-actions in https://github.com/model-checking/kani/pull/4066
* Bump tests/perf/s2n-quic from `6aa9975` to `5f323b7` by @dependabot in https://github.com/model-checking/kani/pull/4068
* Fix stabilization instructions in RFC intro by @carolynzech in https://github.com/model-checking/kani/pull/4067
* Add support for quantifiers by @qinheping in https://github.com/model-checking/kani/pull/3993
* Toolchain upgrade to nightly-2025-05-07 by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/4070
* Automatic toolchain upgrade to nightly-2025-05-08 by @github-actions in https://github.com/model-checking/kani/pull/4071
* Automatic toolchain upgrade to nightly-2025-05-09 by @github-actions in https://github.com/model-checking/kani/pull/4072
* Automatic toolchain upgrade to nightly-2025-05-10 by @github-actions in https://github.com/model-checking/kani/pull/4073
* Clippy/Stylistic Fixes by @carolynzech in https://github.com/model-checking/kani/pull/4074
* Upgrade toolchain to 2025-05-14 by @zhassan-aws in https://github.com/model-checking/kani/pull/4076
* Autoharness argument validation: only error on `--quiet` if `--list` was passed by @carolynzech in https://github.com/model-checking/kani/pull/4069
* Upgrade Rust toolchain to 2025-05-16 by @zhassan-aws in https://github.com/model-checking/kani/pull/4080
* Automatic toolchain upgrade to nightly-2025-05-17 by @github-actions in https://github.com/model-checking/kani/pull/4081
* Add setup scripts for Ubuntu 20.04 by @zhassan-aws in https://github.com/model-checking/kani/pull/4082
* Automatic toolchain upgrade to nightly-2025-05-18 by @github-actions in https://github.com/model-checking/kani/pull/4083
* Automatic cargo update to 2025-05-19 by @github-actions in https://github.com/model-checking/kani/pull/4086
* Automatic toolchain upgrade to nightly-2025-05-19 by @github-actions in https://github.com/model-checking/kani/pull/4085
* Automatic toolchain upgrade to nightly-2025-05-20 by @github-actions in https://github.com/model-checking/kani/pull/4091
* Bump tests/perf/s2n-quic from `5f323b7` to `22434aa` by @dependabot in https://github.com/model-checking/kani/pull/4089
* Fix the error that Kani panics when there is no external parameter in quantifier's closure. by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/4088
* Update toolchain to 2025-05-22 by @carolynzech in https://github.com/model-checking/kani/pull/4098
* Use our toolchain when invoking `cargo metadata` by @carolynzech in https://github.com/model-checking/kani/pull/4090
* Automatic toolchain upgrade to nightly-2025-05-23 by @github-actions in https://github.com/model-checking/kani/pull/4099
* Automatic toolchain upgrade to nightly-2025-05-24 by @github-actions in https://github.com/model-checking/kani/pull/4101
* Automatic toolchain upgrade to nightly-2025-05-25 by @github-actions in https://github.com/model-checking/kani/pull/4102
* Fix a bug codegening `SwitchInt`s with only an otherwise branch by @bkirwi in https://github.com/model-checking/kani/pull/4095
* Automatic toolchain upgrade to nightly-2025-05-26 by @github-actions in https://github.com/model-checking/kani/pull/4104
* Automatic cargo update to 2025-05-26 by @github-actions in https://github.com/model-checking/kani/pull/4105
* Bump tests/perf/s2n-quic from `22434aa` to `550afb3` by @dependabot in https://github.com/model-checking/kani/pull/4106
* Automatic toolchain upgrade to nightly-2025-05-27 by @github-actions in https://github.com/model-checking/kani/pull/4107
* Update `kani::mem` pointer validity documentation by @carolynzech in https://github.com/model-checking/kani/pull/4092
* Add support for edition 2018 crates using assert! (Fixes #3717) by @sintemal in https://github.com/model-checking/kani/pull/4096
* Automatic toolchain upgrade to nightly-2025-05-28 by @github-actions in https://github.com/model-checking/kani/pull/4113
* Automatic toolchain upgrade to nightly-2025-05-29 by @github-actions in https://github.com/model-checking/kani/pull/4115
* Automatic toolchain upgrade to nightly-2025-05-30 by @github-actions in https://github.com/model-checking/kani/pull/4118
* Handle generic defaults in BoundedArbitrary derives by @zhassan-aws in https://github.com/model-checking/kani/pull/4117
* Automatic cargo update to 2025-06-02 by @github-actions in https://github.com/model-checking/kani/pull/4121
* Bump tests/perf/s2n-quic from `550afb3` to `8f54b57` by @dependabot in https://github.com/model-checking/kani/pull/4122
* Upgrade Rust toolchain to 2025-06-02 by @zhassan-aws in https://github.com/model-checking/kani/pull/4123
* Automatic toolchain upgrade to nightly-2025-06-03 by @github-actions in https://github.com/model-checking/kani/pull/4125
* Finish deprecating `--enable-unstable`, `--restrict-vtable`, and `--write-json-symtab` by @carolynzech in https://github.com/model-checking/kani/pull/4110
* `ty_mangled_name`: only use non-mangled name if `-Zcffi` is enabled. by @carolynzech in https://github.com/model-checking/kani/pull/4114
* Improve Help Menu by @carolynzech in https://github.com/model-checking/kani/pull/4109
* Start stabilizing `--jobs` and `list`; deprecate default memory checks by @carolynzech in https://github.com/model-checking/kani/pull/4108
* Refactor simd_bitmask to reduce the number of iterations by @zhassan-aws in https://github.com/model-checking/kani/pull/4129
* Set target features depending on the target architecture by @zhassan-aws in https://github.com/model-checking/kani/pull/4127
* Bump some versions suggested by cargo-outdated by @zhassan-aws in https://github.com/model-checking/kani/pull/4131
* Improve linking error output for `#[no_std]` crates by @AlexanderPortland in https://github.com/model-checking/kani/pull/4126
* Fix the git log command in the toolchain update script by @zhassan-aws in https://github.com/model-checking/kani/pull/4139
* Gate quantifiers behind an experimental feature by @thanhnguyen-aws in https://github.com/model-checking/kani/pull/4141
* Automatic cargo update to 2025-06-09 by @github-actions in https://github.com/model-checking/kani/pull/4145

## New Contributors
* @bkirwi made their first contribution in https://github.com/model-checking/kani/pull/4095
* @sintemal made their first contribution in https://github.com/model-checking/kani/pull/4096
* @AlexanderPortland made their first contribution in https://github.com/model-checking/kani/pull/4126

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.62.0...kani-0.63.0

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@zhassan-aws zhassan-aws requested a review from a team as a code owner June 9, 2025 17:06
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jun 9, 2025
zhassan-aws
zhassan-aws commented Jun 9, 2025
View reviewed changes
carolynzech
carolynzech approved these changes Jun 9, 2025
View reviewed changes
Copy link
Contributor

@carolynzech carolynzech left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: the "What's Changed" section is rather large this time, so it'd be nice to try to group them somewhat: all the autoharness ones listed together, the loop invariant ones, etc. Not a huge deal though, take or leave. I made some other suggestions in the name of trying to group similar PRs together.

zhassan-aws and others added 3 commits June 9, 2025 13:50
@zhassan-aws @carolynzech
Update CHANGELOG.md
43f90bf 
Co-authored-by: Carolyn Zech <carolynzech@gmail.com>
@zhassan-aws @carolynzech
Update CHANGELOG.md
bfe6505 
Co-authored-by: Carolyn Zech <carolynzech@gmail.com>
@zhassan-aws
Group related PRs
e6ca024
@zhassan-aws
Copy link
Contributor Author

Nit: the "What's Changed" section is rather large this time, so it'd be nice to try to group them somewhat: all the autoharness ones listed together, the loop invariant ones, etc. Not a huge deal though, take or leave. I made some other suggestions in the name of trying to group similar PRs together.

Good call out. Done.

@zhassan-aws zhassan-aws enabled auto-merge June 9, 2025 21:54
@zhassan-aws zhassan-aws added this pull request to the merge queue Jun 9, 2025
Merged via the queue into model-checking:main with commit 37fb634 Jun 9, 2025
25 of 26 checks passed
@zhassan-aws zhassan-aws deleted the 0.63 branch June 9, 2025 23:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@carolynzech carolynzech carolynzech approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zhassan-aws @carolynzech