Automatic toolchain upgrade to nightly-2024-05-17 #3191
Merged
Conversation
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
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
celinval
approved these changes
May 17, 2024
tautschnig
added a commit
to tautschnig/kani
that referenced
this pull request
Jun 4, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml -exec
sed -i 's/version = "0.51.0"/version = "0.52.0"/' {} \;`) and ran `cargo
build-dev` to have `Cargo.lock` files updated.
GitHub generated release notes:
## What's Changed
* Bump tests/perf/s2n-quic from `6dd41e0` to `bd37960` by @dependabot in model-checking#3178
* Automatic cargo update to 2024-05-13 by @github-actions in model-checking#3177
* Upgrade toolchain to 2024-04-22 by @zhassan-aws in model-checking#3171
* Upgrade toolchain to 2024-05-14 by @zhassan-aws in model-checking#3183
* Automatic toolchain upgrade to nightly-2024-05-15 by @github-actions in model-checking#3185
* Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning about an unknown `cfg`. by @zhassan-aws in model-checking#3187
* Automatic toolchain upgrade to nightly-2024-05-16 by @github-actions in model-checking#3189
* Perform cargo update because of yanked libc version by @zhassan-aws in model-checking#3192
* Automatic toolchain upgrade to nightly-2024-05-17 by @github-actions in model-checking#3191
* Automatic cargo update to 2024-05-20 by @github-actions in model-checking#3195
* Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74` by @dependabot in model-checking#3196
* New section about linter configuraton checking in the doc. by @remi-delmas-3000 in model-checking#3198
* Automatic cargo update to 2024-05-27 by @github-actions in model-checking#3201
* Bump tests/perf/s2n-quic from `f5d9d74` to `d03cc47` by @dependabot in model-checking#3202
* Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23 by @remi-delmas-3000 in model-checking#3199
* Fix `{,e}println!()` by @GrigorenkoPV in model-checking#3209
* Contracts for a few core functions by @celinval in model-checking#3107
* Don't crash benchcomp when rounding non-numeric values by @karkhaz in model-checking#3211
* Update Rust toolchain nightly-2024-05-24 by @qinheping in model-checking#3212
* Upgrade Rust toolchain nightly-2024-05-27 by @qinheping in model-checking#3215
* Automatic toolchain upgrade to nightly-2024-05-28 by @github-actions in model-checking#3217
* Automatic cargo update to 2024-06-03 by @github-actions in model-checking#3220
* Bump tests/perf/s2n-quic from `d03cc47` to `d90729d` by @dependabot in model-checking#3222
* Add simple API for shadow memory by @zhassan-aws in model-checking#3200
## New Contributors
* @GrigorenkoPV made their first contribution in model-checking#3209
**Full Changelog**: model-checking/kani@kani-0.51.0...kani-0.52.0
tautschnig
added a commit
that referenced
this pull request
Jun 4, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.51.0"/version = "0.52.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.
GitHub generated release notes:
## What's Changed
* Bump tests/perf/s2n-quic from `6dd41e0` to `bd37960` by @dependabot in
#3178
* Automatic cargo update to 2024-05-13 by @github-actions in
#3177
* Upgrade toolchain to 2024-04-22 by @zhassan-aws in
#3171
* Upgrade toolchain to 2024-05-14 by @zhassan-aws in
#3183
* Automatic toolchain upgrade to nightly-2024-05-15 by @github-actions
in #3185
* Include `--check-cfg=cfg(kani)` in the rust flags to avoid a warning
about an unknown `cfg`. by @zhassan-aws in
#3187
* Automatic toolchain upgrade to nightly-2024-05-16 by @github-actions
in #3189
* Perform cargo update because of yanked libc version by @zhassan-aws in
#3192
* Automatic toolchain upgrade to nightly-2024-05-17 by @github-actions
in #3191
* Automatic cargo update to 2024-05-20 by @github-actions in
#3195
* Bump tests/perf/s2n-quic from `bd37960` to `f5d9d74` by @dependabot in
#3196
* New section about linter configuraton checking in the doc. by
@remi-delmas-3000 in #3198
* Automatic cargo update to 2024-05-27 by @github-actions in
#3201
* Bump tests/perf/s2n-quic from `f5d9d74` to `d03cc47` by @dependabot in
#3202
* Update Rust toolchain from nightly-2024-05-17 to nightly-2024-05-23 by
@remi-delmas-3000 in #3199
* Fix `{,e}println!()` by @GrigorenkoPV in
#3209
* Contracts for a few core functions by @celinval in
#3107
* Don't crash benchcomp when rounding non-numeric values by @karkhaz in
#3211
* Update Rust toolchain nightly-2024-05-24 by @qinheping in
#3212
* Upgrade Rust toolchain nightly-2024-05-27 by @qinheping in
#3215
* Automatic toolchain upgrade to nightly-2024-05-28 by @github-actions
in #3217
* Automatic cargo update to 2024-06-03 by @github-actions in
#3220
* Bump tests/perf/s2n-quic from `d03cc47` to `d90729d` by @dependabot in
#3222
* Add simple API for shadow memory by @zhassan-aws in
#3200
## New Contributors
* @GrigorenkoPV made their first contribution in
#3209
**Full Changelog**:
kani-0.51.0...kani-0.52.0
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update Rust toolchain from nightly-2024-05-16 to nightly-2024-05-17 without any other source changes.
This is an automatically generated pull request. If any of the CI checks fail, manual intervention is required. In such a case, review the changes at https://github.com/rust-lang/rust from rust-lang/rust@1871252 up to rust-lang/rust@8c127df. The log for this commit range is:
rust-lang/rust@8c127df75f Auto merge of #125163 - ssukanmi:stdarch_arm_crc32, r=Amanieu
rust-lang/rust@2d89cee625 Auto merge of #124728 - beetrees:from-f16-for-f64, r=BurntSushi
rust-lang/rust@97bf25c8cf Auto merge of #125179 - matthiaskrgr:rollup-wkdwoaj, r=matthiaskrgr
rust-lang/rust@e3864db418 Rollup merge of #125172 - tgross35:f16-f128-as-casting, r=compiler-errors
rust-lang/rust@a8a3117041 Rollup merge of #125170 - compiler-errors:uplift-fn-sig-2, r=lcnr
rust-lang/rust@1f055cdb6e Rollup merge of #125130 - aDotInTheVoid:id-docs, r=GuillaumeGomez
rust-lang/rust@48f1019d26 Rollup merge of #125018 - sagudev:patch-2, r=Amanieu
rust-lang/rust@71ae7db509 Rollup merge of #124871 - compiler-errors:overflowo, r=lcnr
rust-lang/rust@d3e510eb9d Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects
rust-lang/rust@312ba4da3c Uplift FnSig
rust-lang/rust@504bca9ee6 rustdoc-json-types: Document
Idrust-lang/rust@4a78c00e22 Auto merge of #124959 - prorealize:update-result-documentation, r=joboet
rust-lang/rust@bf8801d36d Auto merge of #123337 - workingjubilee:debug-compiler-profile-expectations, r=fmease
rust-lang/rust@488ddd3bbc Fix assertion when attempting to convert
f16andf128withasrust-lang/rust@887151ad93 Set
debuginfo-level = "line-tables-only"for compiler profilerust-lang/rust@b71e8cbaf2 Auto merge of #124987 - workingjubilee:macro-metavar-expr-with-a-shorter-len, r=c410-f3r,joshtriplett,joshtriplett
rust-lang/rust@0bf8af69a2 feat: update stdarch submodule for intrinsics on ARM
rust-lang/rust@e1611aa690 Update library/core/src/result.rs
rust-lang/rust@1025b3f16c Update linker-plugin-lto.md to include LLVM 18
rust-lang/rust@6e74155b0b fix tests after s/${length()}/${len()}/
rust-lang/rust@fa5964fa91 s/MetaVarExpr::Length/MetaVarExpr::Len/
rust-lang/rust@4a953dc5ff Fix assert
rust-lang/rust@336dd16d05 Refactor examples and enhance documentation in result.rs
rust-lang/rust@5cc4ee3d88 Re-add
From<f16> for f64