forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump Kani version to 0.49.0 (rust-lang#3126)
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml -exec sed -i 's/version = "0.48.0"/version = "0.49.0"/' {} \;`) and ran `cargo build-dev` to have `Cargo.lock` files updated. GitHub generated release notes: ## What's Changed * Upgrade Rust toolchain to 2024-03-14 by @zhassan-aws in model-checking/kani#3081 * Disable removal of storage markers by @zhassan-aws in model-checking/kani#3083 * Automatic cargo update to 2024-03-18 by @github-actions in model-checking/kani#3086 * Bump tests/perf/s2n-quic from `1a7faa8` to `9e39ca0` by @dependabot in model-checking/kani#3087 * Upgrade toolchain to nightly-2024-03-15 by @celinval in model-checking/kani#3084 * Add optional scatterplot to benchcomp output by @tautschnig in model-checking/kani#3077 * Benchcomp scatterplots: quote axis labels by @tautschnig in model-checking/kani#3097 * Expand ${var} in benchcomp variant `env` by @karkhaz in model-checking/kani#3090 * Add test for rust-lang#3099 by @zhassan-aws in model-checking/kani#3100 * Automatic cargo update to 2024-03-25 by @github-actions in model-checking/kani#3103 * Bump tests/perf/s2n-quic from `1a7faa8` to `0a60ec1` by @dependabot in model-checking/kani#3104 * Implement validity checks by @celinval in model-checking/kani#3085 * Add `benchcomp filter` command by @karkhaz in model-checking/kani#3105 * Add CI test for --use-local-toolchain by @jaisnan in model-checking/kani#3074 * Upgrade Rust toolchain to `nightly-2024-03-21` by @adpaco-aws in model-checking/kani#3102 * Use `intrinsic_name` to get the intrinsic name by @adpaco-aws in model-checking/kani#3114 * Bump tests/perf/s2n-quic from `0a60ec1` to `2d5e891` by @dependabot in model-checking/kani#3118 * Allow modifies clause for verification only by @feliperodri in model-checking/kani#3098 * Automatic cargo update to 2024-04-01 by @github-actions in model-checking/kani#3117 * Automatic cargo update to 2024-04-04 by @github-actions in model-checking/kani#3122 * Remove bookrunner by @tautschnig in model-checking/kani#3123 * Upgrade Rust toolchain to nightly-2024-03-29 by @feliperodri in model-checking/kani#3116 * Remove unnecessary build step for some workflows by @zhassan-aws in model-checking/kani#3124 * Ensure storage markers are kept in std code by @zhassan-aws in model-checking/kani#3080 **Full Changelog**: model-checking/kani@kani-0.48.0...kani-0.49.0
- Loading branch information
1 parent
c4f16e9
commit ac46d98
Showing
11 changed files
with
32 additions
and
18 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters