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

Automatic toolchain upgrade to nightly-2024-10-04 #3570

Merged
merged 3 commits into from
Oct 10, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 4, 2024

Update Rust toolchain from nightly-2024-10-03 to nightly-2024-10-04 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner October 4, 2024 03:16
Copy link
Contributor Author

github-actions bot commented Oct 4, 2024

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@18b1161 up to
rust-lang/rust@9ff5fc4. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/9ff5fc4ffb Auto merge of #131145 - ismailarilik:handle_potential_query_instability_lint_for_rustc_metadata, r=compiler-errors

rust-lang/rust@56e35a5dbb Auto merge of #131205 - flip1995:clippy-subtree-update, r=Manishearth
rust-lang/rust@b823547eb1 Merge commit 'aa0d551351a9c15d8a95fdb3e2946b505893dda8' into clippy-subtree-update
rust-lang/rust@1e5719bdc4 Auto merge of #131196 - matthiaskrgr:rollup-3it3zqp, r=matthiaskrgr
rust-lang/rust@aa0d551351 Auto merge of #13492 - flip1995:rustup, r=flip1995
rust-lang/rust@c994a60fd4 Bump nightly version -> 2024-10-03
rust-lang/rust@d300cdfcda Merge remote-tracking branch 'upstream/master' into rustup
rust-lang/rust@35ff9e2bc6 Rollup merge of #131173 - madsmtm:target-info-solid_asp3-abi, r=lcnr
rust-lang/rust@aedf14bb0c Rollup merge of #131163 - JakenHerman:master, r=Nadrieril
rust-lang/rust@c9b907a567 Rollup merge of #130419 - nnethercote:streamline-HirCollector, r=GuillaumeGomez
rust-lang/rust@f7c8928f03 Auto merge of #128711 - clarfonthey:default-iters-hash, r=dtolnay
rust-lang/rust@8885239786 Auto merge of #131185 - workingjubilee:rollup-wkcqe2j, r=workingjubilee
rust-lang/rust@3d8bd6bbc5 Handle rustc_metadata cases of rustc::potential_query_instability lint
rust-lang/rust@cc61b81c6a Rollup merge of #131166 - madsmtm:target-info-switch-vendor, r=jieyouxu
rust-lang/rust@b7c33e2f20 Rollup merge of #130725 - GrigorenkoPV:@-in-struct-patterns, r=Nadrieril
rust-lang/rust@44f6275e14 Rollup merge of #126930 - Xaeroxe:file-checksum-hint, r=chenyukang
rust-lang/rust@4b48d72eaa Add get_line confusable to Stdin::read_line()
rust-lang/rust@11f738fcb2 impl Default for Hash{Map,Set} iterators that don't already have it
rust-lang/rust@fd1f8aa05d Auto merge of #127912 - joboet:tls_dtor_thread_current, r=cuviper
rust-lang/rust@ad9c494835 Auto merge of #131148 - Urgau:hashbrown-0.15, r=Amanieu
rust-lang/rust@9c7013c15c Auto merge of #131006 - RalfJung:immediate-sanity, r=saethlin
rust-lang/rust@0ae796440a Fix target_abi in SOLID targets
rust-lang/rust@746c322592 Fix target_vendor for aarch64-nintendo-switch-freestanding
rust-lang/rust@a71ba0cf02 bless miri tests
rust-lang/rust@d868fdce6b std: make thread::current available in all thread_local! destructors
rust-lang/rust@a923fc011b Fix rustdoc-js-std path-ordering test due to API removal
rust-lang/rust@398be8c842 Auto merge of #13443 - SpriteOvO:simplify-option-neg-methods, r=xFrednet
rust-lang/rust@37e1c955c5 Adjust check-cfg get_many_mut usage following API change
rust-lang/rust@8760a401bd Update hashbrown to 0.15 and adjust some methods
rust-lang/rust@58c5ac43ae restore prior more readable suggestion
rust-lang/rust@b48c5f19e0 Restore prior behavior with less duplicate info in dep file
rust-lang/rust@15efbc6e8d Write two newlines intentionally
rust-lang/rust@4d9fa6fa77 add another file to the integration test
rust-lang/rust@0069649c3d Add basic integration test for checksum-hash-algorithm feature
rust-lang/rust@6fd9ef606f no need to comma delimit this, it's already space delimited
rust-lang/rust@6708d56fd2 Fix bug in depinfo output
rust-lang/rust@e3089c787c improve shell help text
rust-lang/rust@dba814a922 Pile all the checksum info into a comment that goes in the same order as the file list for the makefile
rust-lang/rust@081661b78d disregard what we believe is supported in cargo for hash type
rust-lang/rust@6ff7a3e2aa Fix options help text
rust-lang/rust@bb5a8276be add unstable support for outputting file checksums for use in cargo
rust-lang/rust@d578f6ab0c Auto merge of #13122 - rshearman:fix-9854, r=blyxyas
rust-lang/rust@c88cb08afc Fix mut_mutex_lock when reference not ultimately mutable
rust-lang/rust@4891dd4627 make InterpResult a dedicated type to avoid accidentally discarding the error
rust-lang/rust@71c7d445db Auto merge of #13462 - y21:issue13459, r=dswij
rust-lang/rust@f06a46ee4d consider wait() calls in nested bodies
rust-lang/rust@db1bda3df1 Auto merge of #13286 - smoelius:elidable-impl-lifetimes, r=Alexendoo
rust-lang/rust@54e4761d05 Address review comment
rust-lang/rust@061004aa01 Auto merge of #13469 - nyurik:apply-ref-option, r=llogiq
rust-lang/rust@762a91b40e Simplify negative Option::{is_some_and,is_none_or}
rust-lang/rust@7caf2cdc2c interpret: always enable write_immediate sanity checks
rust-lang/rust@f7d5d9d892 Convert &Option<T> to Option<&T>
rust-lang/rust@b3cf448761 Adjust comment
rust-lang/rust@7b566c214e Auto merge of #13336 - nyurik:ref-option-sig, r=llogiq
rust-lang/rust@897f0e4749 Auto merge of #13471 - y21:issue13466-fp, r=llogiq
rust-lang/rust@10e02cf8e3 suggest &str
rust-lang/rust@38295a0d8a update docs
rust-lang/rust@73a16c10db Suggest Option<&T> instead of &Option<T>
rust-lang/rust@d24a63199a remove method call receiver special casing in unused_async lint
rust-lang/rust@b367d3422c Auto merge of #13468 - Alexendoo:driver-ignore-print, r=flip1995
rust-lang/rust@605f88aab8 Ignore --print/-Vv requests in clippy-driver
rust-lang/rust@ad3464493d Rollup merge of #130912 - estebank:point-at-arg-type, r=compiler-errors
rust-lang/rust@eff6d414c0 On implicit Sized bound on fn argument, point at type instead of pattern
rust-lang/rust@51b527266e Fix bug found during review
rust-lang/rust@c771204ffb Auto merge of #13456 - vHugoObject:master, r=llogiq
rust-lang/rust@bc07027397 fix(clippy_lints/matches): wildcard_in_or_patterns will no longer be triggered for types annotated with #[nonexhaustive]
rust-lang/rust@5c2f6db289 Fix typo in needless_lifetimes test
rust-lang/rust@66f1f544af Fix clippy_lints and clippy_utils
rust-lang/rust@877585089e Fix non-lifetime tests
rust-lang/rust@f2495a1777 Fix lifetime tests
rust-lang/rust@0a11c5c49a Reorder functions
rust-lang/rust@55fcd46f88 Extend needless_lifetimes to suggest eliding impl lifetimes
rust-lang/rust@2a61f59628 Auto merge of #13393 - vHugoObject:master, r=Alexendoo
rust-lang/rust@52b31180b2 Auto merge of #130778 - flip1995:clippy-subtree-update, r=Manishearth
rust-lang/rust@0882ad57a5 Rename AstValidator::session as AstValidator::sess.
rust-lang/rust@711c91da7f Remove HirCollector::map.
rust-lang/rust@701ccd3ead Remove HirCollector::sess.
rust-lang/rust@169adfc810 Auto merge of #13453 - samueltardieu:push-mtrklxqnmzzn, r=dswij
rust-lang/rust@f01dfed99f Auto merge of #13442 - Alexendoo:no-rustfix-reasons, r=Jarcho
rust-lang/rust@e691743119 Rollup merge of #130764 - compiler-errors:inherent, r=estebank
rust-lang/rust@08a8e68d2e be even more precise about "cast" vs "coercion"
rust-lang/rust@cbe294c18a Auto merge of #13452 - ljgermain:master, r=Centri3
rust-lang/rust@d802a7a3c7 unify dyn* coercions with other pointer coercions
rust-lang/rust@31bbe2cee3 Apply review suggestions
rust-lang/rust@0791efaaac Use std_or_core to determine the correct prefix
rust-lang/rust@26e1660d33 Auto merge of #13446 - trivikr:actions/setup-node@v4, r=flip1995
rust-lang/rust@6c2e82496f Remove unused import from Clippy versions.py file
rust-lang/rust@11363c7bf2 Fix failing UI test
rust-lang/rust@f8969853eb Fix tools
rust-lang/rust@f203e1ede5 Fix false positive invalid null usage warning for ptr::slice_from_raw_parts_* functions
rust-lang/rust@4108c6e5a0 Hotfix: remove profile from clippy Cargo.toml
rust-lang/rust@b61fcbee76 Merge commit '7901289135257ca0fbed3a5522526f95b0f5edba' into clippy-subtree-update
rust-lang/rust@f7b940ae7c Update actions/setup-node to v4
rust-lang/rust@6e387c90f9 Add reasons for or remove some //@no-rustfix annotations
rust-lang/rust@9cd668beed Parser: better error messages for @ in struct patterns
rust-lang/rust@ae5f857096 fix: Specifying reason in expect(clippy::needless_return) no longer triggers false positive

@qinheping qinheping closed this Oct 4, 2024
@qinheping qinheping added the Z-BenchCI Tag a PR to run benchmark CI label Oct 4, 2024
@qinheping qinheping reopened this Oct 4, 2024
qinheping
qinheping previously approved these changes Oct 4, 2024
@qinheping qinheping enabled auto-merge October 4, 2024 03:19
@qinheping qinheping disabled auto-merge October 4, 2024 03:23
@qinheping qinheping dismissed their stale review October 4, 2024 03:28

I revoke my approval as it fails the format check.

@feliperodri feliperodri self-assigned this Oct 5, 2024
Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
Copy link
Contributor

@qinheping qinheping left a comment

Choose a reason for hiding this comment

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

LGTM

@feliperodri feliperodri added this pull request to the merge queue Oct 10, 2024
Merged via the queue into main with commit 509710a Oct 10, 2024
38 checks passed
@feliperodri feliperodri deleted the toolchain-2024-10-04 branch October 10, 2024 16:11
tautschnig added a commit to tautschnig/kani that referenced this pull request Dec 13, 2024
Updated version in all `Cargo.toml` files (via `find . -name Cargo.toml
-exec sed -i 's/version = "0.56.0"/version = "0.57.0"/' {} \;`) and ran
`cargo build-dev` to have `Cargo.lock` files updated.

GitHub generated release notes:

 ## What's Changed
* Remove the overflow checks for wrapping_offset by @zhassan-aws in model-checking#3589
* `kani-cov`: A coverage tool for Kani by @adpaco-aws in model-checking#3121
* Automatic toolchain upgrade to nightly-2024-10-04 by @github-actions in model-checking#3570
* Automatic toolchain upgrade to nightly-2024-10-05 by @github-actions in model-checking#3591
* Automatic toolchain upgrade to nightly-2024-10-06 by @github-actions in model-checking#3592
* Exclude Charon from workspace by @zhassan-aws in model-checking#3580
* Support fully-qualified --package arguments by @celinval in model-checking#3593
* Automatic toolchain upgrade to nightly-2024-10-07 by @github-actions in model-checking#3595
* Automatic toolchain upgrade to nightly-2024-10-08 by @github-actions in model-checking#3597
* Automatic cargo update to 2024-10-14 by @github-actions in model-checking#3598
* Bump tests/perf/s2n-quic from `17171ec` to `7752afb` by @dependabot in model-checking#3601
* Automatic toolchain upgrade to nightly-2024-10-09 by @github-actions in model-checking#3600
* Automatic toolchain upgrade to nightly-2024-10-10 by @github-actions in model-checking#3602
* Automatic toolchain upgrade to nightly-2024-10-11 by @github-actions in model-checking#3603
* Loop Contracts Annotation for While-Loop by @qinheping in model-checking#3151
* Automatic toolchain upgrade to nightly-2024-10-12 by @github-actions in model-checking#3604
* Update toolchain to 2024-10-15 by @zhassan-aws in model-checking#3605
* Automatic toolchain upgrade to nightly-2024-10-16 by @github-actions in model-checking#3607
* Implement proper function pointer handling for validity checks by @celinval in model-checking#3606
* Update toolchain to 2024-10-17 by @zhassan-aws in model-checking#3610
* Add fn that checks pointers point to same allocation by @celinval in model-checking#3583
* Automatic toolchain upgrade to nightly-2024-10-18 by @github-actions in model-checking#3613
* [aeneas] Preserve variable names by @zhassan-aws in model-checking#3560
* [Breaking change] Make `kani::check` private by @celinval in model-checking#3614
* Emit an error when proof_for_contract function is not found by @zhassan-aws in model-checking#3609
* Automatic toolchain upgrade to nightly-2024-10-19 by @github-actions in model-checking#3617
* Automatic toolchain upgrade to nightly-2024-10-20 by @github-actions in model-checking#3619
* Update test small_slice_eq by @qinheping in model-checking#3618
* Automatic toolchain upgrade to nightly-2024-10-21 by @github-actions in model-checking#3621
* Automatic cargo update to 2024-10-21 by @github-actions in model-checking#3622
* Bump tests/perf/s2n-quic from `7752afb` to `cd0314b` by @dependabot in model-checking#3625
* Update coverage flag in docs by @zhassan-aws in model-checking#3626
* Automatic toolchain upgrade to nightly-2024-10-22 by @github-actions in model-checking#3628
* Automatic toolchain upgrade to nightly-2024-10-23 by @github-actions in model-checking#3635
* Remove dead Option layer from run_piped by @zhassan-aws in model-checking#3634
* Add `free(0)` to codegen of loop contracts by @qinheping in model-checking#3637
* [Lean] Rename user-facing options from Aeneas to Lean by @zhassan-aws in model-checking#3630
* Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects by @carolynzech in model-checking#3636
* Automatic toolchain upgrade to nightly-2024-10-24 by @github-actions in model-checking#3639
* Add regular & fixme tests for function contracts by @celinval in model-checking#3371
* Call `goto-instrument` with `DFCC` only once by @qinheping in model-checking#3642
* Build and include `kani-cov` in the bundle by @adpaco-aws in model-checking#3641
* Fix loop contracts transformation when loops in branching by @qinheping in model-checking#3640
* Update toolchain to 10/25 by @carolynzech in model-checking#3648
* Automatic toolchain upgrade to nightly-2024-10-26 by @github-actions in model-checking#3651
* Automatic toolchain upgrade to nightly-2024-10-27 by @github-actions in model-checking#3652
* Bump tests/perf/s2n-quic from `cd0314b` to `ed9db08` by @dependabot in model-checking#3655
* Automatic cargo update to 2024-10-28 by @github-actions in model-checking#3654
* Automatic toolchain upgrade to nightly-2024-10-28 by @github-actions in model-checking#3653
* Reduce the number of object bits for refcell test by @zhassan-aws in model-checking#3656
* Move any_slice_from_array to kani_core by @qinheping in model-checking#3646
* Upgrade toolchain to 2024-10-29 by @zhassan-aws in model-checking#3658
* Add a timeout option by @zhassan-aws in model-checking#3649
* Upgrade toolchain to 2024-10-30 by @tautschnig in model-checking#3661
* Upgrade Rust toolchain to 2024-10-31 by @zhassan-aws in model-checking#3668
* Upgrade toolchain to 2024-11-01 by @tautschnig in model-checking#3671
* Automatic toolchain upgrade to nightly-2024-11-02 by @github-actions in model-checking#3673
* Implement `Arbitrary` for `Range*` by @c410-f3r in model-checking#3666
* Automatic toolchain upgrade to nightly-2024-11-03 by @github-actions in model-checking#3674
* codegen: Ask the layout if it is uninhabited, not its impl detail by @workingjubilee in model-checking#3675
* Automatic cargo update to 2024-11-04 by @github-actions in model-checking#3677
* Bump tests/perf/s2n-quic from `192de7d` to `65d55a4` by @dependabot in model-checking#3678
* Update dependencies following Audit workflow failure. by @remi-delmas-3000 in model-checking#3680
* Harness output individual files by @Alexander-Aghili in model-checking#3360
* Update Charon submodule to 2024-11-04 by @zhassan-aws in model-checking#3686
* Add support for float_to_int_unchecked by @zhassan-aws in model-checking#3660
* Change `same_allocation` to accept wide pointers by @celinval in model-checking#3684
* Automatic upgrade of CBMC from 6.3.1 to 6.4.0 by @github-actions in model-checking#3689
* Derive `Arbitrary` for enums with a single variant by @AlgebraicWolf in model-checking#3692
* Update cbmc-viewer to 3.10 by @remi-delmas-3000 in model-checking#3683
* Apply loop contracts only if there exists some usage by @qinheping in model-checking#3694
* Remove symtab json support by @celinval in model-checking#3695
* Remove CBMC viewer and visualize option by @zhassan-aws in model-checking#3699
* Ignore derivative in Cargo deny by @qinheping in model-checking#3708
* Upgrade Rust toolchain to 2024-11-08 by @zhassan-aws in model-checking#3703
* Automatic cargo update to 2024-11-11 by @github-actions in model-checking#3704
* Update verify-std-check workflow to enable loop contracts by @qinheping in model-checking#3705
* Automatic toolchain upgrade to nightly-2024-11-09 by @github-actions in model-checking#3709
* Bump tests/perf/s2n-quic from `65d55a4` to `cb41b35` by @dependabot in model-checking#3706
* Add support for f16 and f128 in float_to_int_unchecked intrinsic by @zhassan-aws in model-checking#3701
* Upgrade toolchain to nightly-2024-11-11 by @qinheping in model-checking#3710
* Automatic toolchain upgrade to nightly-2024-11-12 by @github-actions in model-checking#3713
* Update charon submodule by @zhassan-aws in model-checking#3716
* Revert "Ignore derivative in Cargo deny" by @qinheping in model-checking#3712
* Upgrade toolchain to nightly-2024-11-13 by @qinheping in model-checking#3715
* Automatic toolchain upgrade to nightly-2024-11-14 by @github-actions in model-checking#3719
* Automatic toolchain upgrade to nightly-2024-11-15 by @github-actions in model-checking#3720
* Fix codegen for rvalue aggregate raw pointer to an adt with slice tail by @carolynzech in model-checking#3644
* Improve Kani handling of function markers by @celinval in model-checking#3718
* Automatic toolchain upgrade to nightly-2024-11-16 by @github-actions in model-checking#3722
* Automatic toolchain upgrade to nightly-2024-11-17 by @github-actions in model-checking#3724
* Automatic cargo update to 2024-11-18 by @github-actions in model-checking#3723
* Bump tests/perf/s2n-quic from `cb41b35` to `4c3ba69` by @dependabot in model-checking#3725
* Automatic toolchain upgrade to nightly-2024-11-18 by @github-actions in model-checking#3727
* Enable contracts for const generic functions by @qinheping in model-checking#3726
* List Subcommand Improvements by @carolynzech in model-checking#3729
* Automatic toolchain upgrade to nightly-2024-11-19 by @github-actions in model-checking#3730
* add support for enum, struct, tuple in llbc backend by @thanhnguyen-aws in model-checking#3721
* Fix issues with how we compute DST size by @celinval in model-checking#3687
* Bump tests/perf/s2n-quic from `4c3ba69` to `c84ba19` by @dependabot in model-checking#3736
* Fix size and alignment computation for intrinsics by @celinval in model-checking#3734
* Automatic cargo update to 2024-11-25 by @github-actions in model-checking#3735
* Cleanup a few internal compiler deps by @celinval in model-checking#3739
* Add a Kani function that checks if the range of a float is valid for conversion to int by @zhassan-aws in model-checking#3742
* Dropping support for Ubuntu 18.04 / AL2. by @thanhnguyen-aws in model-checking#3744
* Update toolchain to nightly-2024-11-26 by @celinval in model-checking#3740
* Automatic upgrade of CBMC from 6.4.0 to 6.4.1 by @github-actions in model-checking#3748
* Automatic cargo update to 2024-12-02 by @github-actions in model-checking#3749
* Update download-artifact, upload-artifact and checkout to v4 by @thanhnguyen-aws in model-checking#3745
* Bump tests/perf/s2n-quic from `c84ba19` to `96d2e22` by @dependabot in model-checking#3750
* Upgrade toolchain to 2024-11-27 by @tautschnig in model-checking#3751
* Upgrade toolchain to 2024-11-28 by @tautschnig in model-checking#3753
* Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 by @tautschnig in model-checking#3758
* Automatic cargo update to 2024-12-09 by @github-actions in model-checking#3766
* Bump tests/perf/s2n-quic from `96d2e22` to `e4a2365` by @dependabot in model-checking#3767
* Upgrade toolchain to 2024-12-09 by @carolynzech in model-checking#3768
* Add out of bounds check for `offset` intrinsics by @celinval in model-checking#3755
* Upgrade toolchain to 2024-12-12 by @carolynzech in model-checking#3774
* Automatic toolchain upgrade to nightly-2024-12-13 by @github-actions in model-checking#3775

 ## New Contributors
* @c410-f3r made their first contribution in model-checking#3666
* @workingjubilee made their first contribution in model-checking#3675
* @Alexander-Aghili made their first contribution in model-checking#3360
* @AlgebraicWolf made their first contribution in model-checking#3692
* @thanhnguyen-aws made their first contribution in model-checking#3721

**Full Changelog**: model-checking/kani@kani-0.56.0...kani-0.57.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.

3 participants