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.

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

Bump dependencies and Kani's version to 0.50.0 #3148

Merged
merged 1 commit into from
Apr 17, 2024

Conversation

celinval
Copy link
Contributor

Release notes are the following:

Major Changes

What's Changed

Full Changelog:
kani-0.49.0...kani-0.50.0

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

@celinval celinval requested a review from a team as a code owner April 17, 2024 19:35
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Apr 17, 2024
@celinval celinval merged commit 299b0b3 into model-checking:main Apr 17, 2024
23 checks passed
zpzigi754 pushed a commit to zpzigi754/kani that referenced this pull request May 8, 2024
Release notes are the following:

### Major Changes
* Fix compilation issue with proc_macro2  (v1.0.80+) and Kani v0.49.0
(model-checking#3138).

### What's Changed
* Implement valid value check for `write_bytes` by @celinval in
model-checking#3108
* Rust toolchain upgraded to 2024-04-15 by @tautschnig @celinval

**Full Changelog**:
model-checking/kani@kani-0.49.0...kani-0.50.0
qinheping pushed a commit to qinheping/kani that referenced this pull request May 9, 2024
Release notes are the following:

### Major Changes
* Fix compilation issue with proc_macro2  (v1.0.80+) and Kani v0.49.0
(model-checking#3138).

### What's Changed
* Implement valid value check for `write_bytes` by @celinval in
model-checking#3108
* Rust toolchain upgraded to 2024-04-15 by @tautschnig @celinval

**Full Changelog**:
model-checking/kani@kani-0.49.0...kani-0.50.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

2 participants