Skip to content
New issue

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

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

Already on GitHub? # to your account

Bump Kani version to 0.55.0 #3486

Merged
merged 4 commits into from
Sep 4, 2024
Merged

Conversation

zhassan-aws
Copy link
Contributor

These are the auto-generated release notes:

What's Changed

Full Changelog: kani-0.54.0...kani-0.55.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 September 3, 2024 23:12
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Sep 3, 2024
Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

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

I wonder if we should call out new features as Major Changes like the memory initialization checks. Maybe call for feedback since it's a unstable feature

@zhassan-aws
Copy link
Contributor Author

I wonder if we should call out new features as Major Changes like the memory initialization checks. Maybe call for feedback since it's a unstable feature

It was mentioned in the 0.53.0 release:

The -Z uninit-checks option is being introduced to check memory initialization. The feature is currently behind an unstable flag and also requires the -Z ghost-state option.

Are there any more details/features that we should mention in this release? CC @artemagvanian

@artemagvanian
Copy link
Contributor

artemagvanian commented Sep 4, 2024

Are there any more details/features that we should mention in this release? CC @artemagvanian

I think the current state of things for memory initialization checks is roughly summarized in #3300, so perhaps link it in the changelog? Calling for feedback could be a great idea, too!

Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

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

Thanks @zhassan-aws!

@zhassan-aws
Copy link
Contributor Author

Added the following under Major/Breaking Changes:

@zhassan-aws zhassan-aws added this pull request to the merge queue Sep 4, 2024
Merged via the queue into model-checking:main with commit 603f9bf Sep 4, 2024
26 of 27 checks passed
@zhassan-aws zhassan-aws deleted the kani-0.55.0 branch September 4, 2024 20:48
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants