Automatic toolchain upgrade to nightly-2024-05-15 #3185
Merged
Conversation
This file contains hidden or 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
adpaco-aws
approved these changes
May 15, 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-14 to nightly-2024-05-15 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@ab14f94 up to rust-lang/rust@8387315. The log for this commit range is:
rust-lang/rust@8387315ab3 Auto merge of #125125 - lovesegfault:opt-dist-specify-rustc-perf, r=Mark-Simulacrum
rust-lang/rust@c3c9783de2 feat(tools/opt-dist): allow local builds to specify a rustc-perf checkout
rust-lang/rust@ac385a5af6 Auto merge of #125120 - compiler-errors:rollup-mnjybwv, r=compiler-errors
rust-lang/rust@31016d5879 Rollup merge of #125118 - GuillaumeGomez:cleanup-run-make, r=jieyouxu
rust-lang/rust@d59f430eec Rollup merge of #125100 - compiler-errors:faster, r=nnethercote
rust-lang/rust@712e7c37f7 Rollup merge of #125088 - compiler-errors:uplift-alias-ty, r=lcnr
rust-lang/rust@8c64acdbdc Rollup merge of #125080 - bvanjoi:fix-124946, r=nnethercote
rust-lang/rust@844c7e826e Rollup merge of #125047 - Oneirical:test5, r=jieyouxu
rust-lang/rust@0458d8a53b Rollup merge of #124844 - compiler-errors:shadow-probe, r=lcnr
rust-lang/rust@36287830a2 Rollup merge of #119838 - joshtriplett:style-guide-binop-indent, r=compiler-errors
rust-lang/rust@ade33b02f2 only find segs chain for missing methods when no available candidates
rust-lang/rust@bdfd941f4d Auto merge of #123816 - tgross35:f16-f128-mangling, r=michaelwoerister
rust-lang/rust@f97d915173 Use new utility functions/methods in run-make tests
rust-lang/rust@792a9bdd4b Enable v0 mangling tests and add checks for
f16/f128rust-lang/rust@809b84edba Add v0 symbol mangling for
f16andf128rust-lang/rust@31026b7fe3 Auto merge of #125023 - morr0ne:linux-none-target, r=Nilstrieb
rust-lang/rust@68407f9049 fix typo in x86_64-unknown-linux-none docs
rust-lang/rust@c45e831d8f Auto merge of #124228 - compiler-errors:lint-overcaptures, r=oli-obk
rust-lang/rust@58426f4a5b Auto merge of #125026 - Oneirical:clink-tests, r=jieyouxu
rust-lang/rust@e098eb14ae Wording improvement
rust-lang/rust@e2d9c0d938 Fix missing word
rust-lang/rust@57c32a193f style-guide: When breaking binops handle multi-line first operand better
rust-lang/rust@dbd2ca6478 Use a proper probe for shadowing impl
rust-lang/rust@052de1da4f And finally add tests
rust-lang/rust@1529c661e4 Warn against redundant use<...>
rust-lang/rust@f3fb727b08 Don't suggest using use<> syntax to capture APITs
rust-lang/rust@6afe1352d9 Suggest adding use<> syntax
rust-lang/rust@554becc180 Add some commenting
rust-lang/rust@d57e57ca1f Implement initial IMPL_TRAIT_OVERCAPTURES lint
rust-lang/rust@8f97a2588c Add test to make sure suggestions are still quick
rust-lang/rust@fba5f44bd8 Auto merge of #125098 - jhpratt:rollup-2qm4gga, r=jhpratt
rust-lang/rust@45b50d303c lto function, static_library call, rename
rust-lang/rust@9f8cdb286e Remove to_term
rust-lang/rust@1ad28a6f53 Uplift AliasTy
rust-lang/rust@812f89728a fix fmt
rust-lang/rust@2e4c90c3f7 Don't do post-method-probe error reporting steps if we're in a suggestion
rust-lang/rust@32d74f1800 Rollup merge of #125090 - erickt:bump-fuchsia, r=tmandry
rust-lang/rust@209703af85 Rollup merge of #125072 - Darksonn:pin-dyn-dispatch-sound, r=jhpratt
rust-lang/rust@18d9c039bb Rollup merge of #124997 - gurry:124848-ice-should-be-sized, r=Nadrieril
rust-lang/rust@74a78af0e2 Rollup merge of #116675 - joshlf:patch-10, r=scottmcm
rust-lang/rust@9105c57b7f Auto merge of #124256 - nnethercote:rm-NtIdent-NtLifetime, r=petrochenkov
rust-lang/rust@34582118af Auto merge of #125076 - compiler-errors:alias-term, r=lcnr
rust-lang/rust@95e519ecbf Remove
NtIdentandNtLifetime.rust-lang/rust@fa84018c2e Apply nits
rust-lang/rust@58ee9192e0 Migrate fuchsia docs from
pmtoffxrust-lang/rust@293b5cb1ca [ptr] Document maximum allocation size
rust-lang/rust@3bcdf3058e split out AliasTy -> AliasTerm
rust-lang/rust@b3a78c1d09 Add test for dynamic dispatch + Pin::new soundness
rust-lang/rust@9a63a42cb7 Remove a
SpanfromTokenKind::Interpolated.rust-lang/rust@71fd2cf5b4 fix function call and import
rust-lang/rust@a1b5ea0cc2 make tidy happy
rust-lang/rust@f2de5fb2ae rewrite issue-14500 to rmake
rust-lang/rust@a6f237ca85 docs: fix typo in platform-support docs
rust-lang/rust@923cdb35aa test: Add assembly tests for x86_64-unknown-linux-none target
rust-lang/rust@10c358f111 Make tidy happy
rust-lang/rust@e37d2989c1 remove trailing whitespace
rust-lang/rust@a2e7e79a13 Port c-link-to-rust-va-list-fn to Rust
rust-lang/rust@9cf080099d docs: Document x86_64-unknown-linux-none target
rust-lang/rust@a3ef01b1fc Add x86_64-unknown-linux-none target
rust-lang/rust@fb619ec208 FIx ICE while casting a type with error