Skip to content

Bump Kani version 0.27.0 #2419

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 3 commits into from
May 1, 2023
Merged

Bump Kani version 0.27.0 #2419

merged 3 commits into from
May 1, 2023

Conversation

adpaco-aws
Copy link
Contributor

Description of changes:

  • Bumps version of Kani crates to 0.27.0.
  • Adds release notes to CHANGELOG.md

Please check the changes included in CHANGELOG.md, and let me know if you think any other changes should be included. For reference, the initial auto-generated release notes were:

## What's Changed
* Run benchcomp unit and regression tests in CI by @karkhaz in https://github.com/model-checking/kani/pull/2382
* Install system-provided autopep8 where available by @tautschnig in https://github.com/model-checking/kani/pull/2397
* Make cargo build-dev produce a proper exit code by @tautschnig in https://github.com/model-checking/kani/pull/2398
* Allow excluding packages from verification with `--exclude` by @adpaco-aws in https://github.com/model-checking/kani/pull/2399
* Dump full benchcomp YAML results in CI by @karkhaz in https://github.com/model-checking/kani/pull/2401
* Add size_of annotation to help CBMC's allocator by @tautschnig in https://github.com/model-checking/kani/pull/2395
* Implement `kani::Arbitrary` for `Box<T>` by @adpaco-aws in https://github.com/model-checking/kani/pull/2404
* Add #VCCs and #program steps benchcomp metrics by @karkhaz in https://github.com/model-checking/kani/pull/2410
* Add --only and --exclude to benchcomp visualize by @karkhaz in https://github.com/model-checking/kani/pull/2409
* Define different function for concrete playback (no user impact) by @celinval in https://github.com/model-checking/kani/pull/2407
* Make bookrunner job use latest pages-deploy-action by @tautschnig in https://github.com/model-checking/kani/pull/2411
* Explicitly pass out_file to benchcomp visualizers by @karkhaz in https://github.com/model-checking/kani/pull/2408
* Add markdown_results_table benchcomp visualization by @karkhaz in https://github.com/model-checking/kani/pull/2413
* Add extra_column to benchcomp markdown visualizer by @karkhaz in https://github.com/model-checking/kani/pull/2415
* Use optimized overflow operation everywhere by @celinval in https://github.com/model-checking/kani/pull/2405
* Bump CBMC version to 5.82.0 by @adpaco-aws in https://github.com/model-checking/kani/pull/2417
* Update dependencies by @adpaco-aws in https://github.com/model-checking/kani/pull/2418


**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.26.0...kani-0.27.0

Call-outs:

Testing:

  • How is this change tested? Existing regression.

  • Is this a refactor change? N/A

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

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

@adpaco-aws adpaco-aws requested a review from a team as a code owner May 1, 2023 21:13
@feliperodri feliperodri enabled auto-merge (squash) May 1, 2023 21:15
@adpaco-aws adpaco-aws disabled auto-merge May 1, 2023 21:18
@adpaco-aws adpaco-aws enabled auto-merge (squash) May 1, 2023 21:26
@adpaco-aws adpaco-aws merged commit 5daabf0 into model-checking:main May 1, 2023
@github-actions github-actions bot mentioned this pull request Jun 3, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@feliperodri feliperodri feliperodri approved these changes

@zhassan-aws zhassan-aws zhassan-aws approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@adpaco-aws @feliperodri @zhassan-aws