Automatic toolchain upgrade to nightly-2024-11-19 #3730

github-actions · 2024-11-20T03:16:41Z

Update Rust toolchain from nightly-2024-11-18 to nightly-2024-11-19 without any other source changes.

github-actions · 2024-11-20T03:16:43Z

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@5ec7d6e up to
rust-lang/rust@03ee484. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/03ee484519 Auto merge of #133179 - GuillaumeGomez:rollup-ro5rtts, r=GuillaumeGomez

rust-lang/rust@62d0235a4a Rollup merge of #133171 - binchengqu:master, r=jieyouxu
rust-lang/rust@36180d9c71 Rollup merge of #133169 - jieyouxu:update-triagebot-labels, r=WaffleLapkin
rust-lang/rust@4baf540fce Rollup merge of #133163 - RalfJung:cold, r=saethlin
rust-lang/rust@86ba13ba2f Rollup merge of #133157 - RalfJung:skip_stability_check_due_to_privacy, r=compiler-errors
rust-lang/rust@1a0bc61314 Rollup merge of #133156 - tshepang:patch-5, r=jieyouxu
rust-lang/rust@c602e9aeaa Auto merge of #133160 - jhpratt:rollup-wzj9q15, r=jhpratt
rust-lang/rust@a307c5499e Add the missing quotation mark in comment
rust-lang/rust@75661c535f Tag src/build_helper with T-bootstrap
rust-lang/rust@1569414574 Tag more test suite changes with T-compiler
rust-lang/rust@dff98a8a14 remove pointless cold_path impl in interpreter
rust-lang/rust@194c76ef0a Rollup merge of #133158 - lnicola:sync-from-ra, r=lnicola
rust-lang/rust@19c145d816 Rollup merge of #133145 - kornelski:static-mutex, r=traviscross
rust-lang/rust@72a8d536ef Rollup merge of #133142 - RalfJung:naming-is-hard, r=compiler-errors
rust-lang/rust@21654a2f44 Rollup merge of #132934 - Zalathar:native-libs, r=jieyouxu
rust-lang/rust@e83c45a98b Auto merge of #128219 - connortsui20:rwlock-downgrade, r=tgross35
rust-lang/rust@b07ed6ab16 stability: remove skip_stability_check_due_to_privacy
rust-lang/rust@9d4b1b2db4 rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirect
rust-lang/rust@bedecf94ce typo in config.example.toml
rust-lang/rust@78edefea9d Overhaul the -l option parser (for linking to native libs)
rust-lang/rust@478db489b3 Move -l option parsing into its own submodule
rust-lang/rust@2902bca654 Add some UI tests for -l modifier parsing
rust-lang/rust@bf6adec108 Auto merge of #133152 - jhpratt:rollup-wkqs5ud, r=jhpratt
rust-lang/rust@f6374b4b71 Rollup merge of #133147 - ChrisDenton:fixup, r=compiler-errors
rust-lang/rust@6c4a7b6ff3 Rollup merge of #133143 - kornelski:let-mut-global, r=compiler-errors
rust-lang/rust@8600e579d5 Rollup merge of #133133 - notriddle:notriddle/trailing-test, r=GuillaumeGomez
rust-lang/rust@fc4f71db68 Rollup merge of #133130 - dianne:fix-133118, r=compiler-errors
rust-lang/rust@c68fef9fc9 Rollup merge of #132993 - jieyouxu:i_am_very_stable, r=chenyukang
rust-lang/rust@c874121487 Rollup merge of #132944 - linyihai:needing-parenthases-issue-132924, r=chenyukang
rust-lang/rust@e2993cd06e Rollup merge of #132795 - compiler-errors:refine-rpitit, r=lcnr
rust-lang/rust@9d6b2283d6 Modify some feature-gate tests to also check command-line handling
rust-lang/rust@546ba3d310 suggest_borrow_generic_arg: instantiate clauses properly
rust-lang/rust@8b43a7ee5d Document alternatives to static mut
rust-lang/rust@32d2340dbd Check use<..> in RPITIT for refinement
rust-lang/rust@3fb7e441ae Auto merge of #120370 - x17jiri:likely_unlikely_fix, r=saethlin
rust-lang/rust@7765f23ea1 Diagnostics for let mut in item context
rust-lang/rust@92ff69d368 fixup some test directives
rust-lang/rust@777003ae9f Likely unlikely fix
rust-lang/rust@fa2e214a43 rustdoc-search: add standalone trailing :: test
rust-lang/rust@c130501d65 Add a ui test for RUSTC_BOOTSTRAP vs rustc's stability
rust-lang/rust@202caa7c57 Add RUSTC_BOOTSTRAP=-1 to make rustc pretend as stable compiler
rust-lang/rust@647749aa32 Merge pull request #18519 from ChayimFriedman2/invalid-offset
rust-lang/rust@744e8e870c Fix related documents diagnostics
rust-lang/rust@fc52cdd9a8 reduce threads in downgrade test
rust-lang/rust@782b07e1ff fix DOWNGRADED bit unpreserved
rust-lang/rust@84fd95cbed fix memory ordering bug + bad test
rust-lang/rust@3d191b50d2 add safety comments for queue implementation
rust-lang/rust@26b5a1485e add downgrade to queue implementation
rust-lang/rust@31e35c2131 modify queue implementation documentation
rust-lang/rust@fa9f04af5d add downgrade to futex implementation
rust-lang/rust@3336ae0838 add simple downgrade implementations
rust-lang/rust@f71ecc48cc add downgrade method onto RwLockWriteGuard
rust-lang/rust@b683e1dc13 add RwLock downgrade tests
rust-lang/rust@cc4ffa7d6f Merge pull request #18518 from lnicola/bump-xshell
rust-lang/rust@9f4f903bcf Bump xshell
rust-lang/rust@5e31398fac Merge pull request #18495 from tareknaser/syntax_factory_reorder_fields
rust-lang/rust@acb9da7c93 feat: migrate reorder_fields assist to use SyntaxFactory
rust-lang/rust@949cf61fdc add parentheses when unboxing suggestion needed

@zhassan-aws

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

Upgrade Rust toolchain to nightly-2024-11-19

09d2379

github-actions bot requested a review from a team as a code owner November 20, 2024 03:16

carolynzech closed this Nov 20, 2024

carolynzech reopened this Nov 20, 2024

github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Nov 20, 2024

Merge branch 'main' into toolchain-2024-11-19

7ed701c

zhassan-aws approved these changes Nov 20, 2024

View reviewed changes

zhassan-aws added this pull request to the merge queue Nov 20, 2024

Merged via the queue into main with commit 3368a7f Nov 20, 2024
35 of 36 checks passed

zhassan-aws deleted the toolchain-2024-11-19 branch November 20, 2024 18:11

tautschnig mentioned this pull request Dec 13, 2024

Bump Kani version to 0.57.0 #3777

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Automatic toolchain upgrade to nightly-2024-11-19 #3730

Automatic toolchain upgrade to nightly-2024-11-19 #3730

github-actions bot commented Nov 20, 2024

github-actions bot commented Nov 20, 2024

Automatic toolchain upgrade to nightly-2024-11-19 #3730

Automatic toolchain upgrade to nightly-2024-11-19 #3730

Conversation

github-actions bot commented Nov 20, 2024

github-actions bot commented Nov 20, 2024