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-08 #3597

Merged
merged 1 commit into from
Oct 14, 2024

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2024-10-07 to nightly-2024-10-08 without any other source changes.

Copy link
Contributor Author

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@55a22d2 up to
rust-lang/rust@3ae715c. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/3ae715c8c6 Auto merge of #131343 - compiler-errors:remove-combine-fields, r=lcnr

rust-lang/rust@baaf3e65ab Auto merge of #131372 - workingjubilee:rollup-4tyqgx2, r=workingjubilee
rust-lang/rust@ee6663e24c Rollup merge of #131367 - compiler-errors:unboxy, r=lqd
rust-lang/rust@3f88d6a83a Rollup merge of #131359 - practicalrs:fix_used_underscore_binding, r=jieyouxu
rust-lang/rust@f88bfa34e1 Rollup merge of #131351 - jieyouxu:yeet-the-valgrind, r=Kobzol
rust-lang/rust@9c4732a77d Rollup merge of #131225 - nnethercote:rustc_borrowck-mm, r=lqd
rust-lang/rust@31fbf67ce3 Rollup merge of #130899 - bjorn3:wasi_bootstrap_fixes, r=davidtwco
rust-lang/rust@8cd9d954c7 Rollup merge of #130479 - onur-ozkan:llvm-bitcode-linker-multiple-candidates, r=Kobzol
rust-lang/rust@bd2e7ee976 Rollup merge of #128721 - Brezak:pointee-in-strange-places, r=pnkfelix
rust-lang/rust@65cff8a1ef Mark Boxy as on vacation
rust-lang/rust@4085b48dfd Fix used_underscore_binding in rustc_serialize
rust-lang/rust@7caad69253 Auto merge of #131354 - matthiaskrgr:rollup-hprnng2, r=matthiaskrgr
rust-lang/rust@fd2278d017 Rollup merge of #131353 - GuillaumeGomez:check_rustdoc_test_option, r=jieyouxu
rust-lang/rust@7d7b43c39a Rollup merge of #131346 - jieyouxu:prune-invalid-directives, r=Zalathar
rust-lang/rust@df61a0b1b2 Rollup merge of #131344 - nnethercote:ref-Lrc, r=compiler-errors
rust-lang/rust@3a5a816190 Rollup merge of #131331 - onur-ozkan:131296, r=Kobzol
rust-lang/rust@dde78bd946 Add documentation for runtest::check_rustdoc_test_option method
rust-lang/rust@0c5d2f98d1 Remove At methods that are unused
rust-lang/rust@5d62afd2ba Remove unnecessary DefineOpaqueTypes from lub
rust-lang/rust@da71dfbc51 Inline CombineFields
rust-lang/rust@0b16baa570 Auto merge of #131235 - codemountains:rename-nestedmetaitem-to-metaitemlnner, r=nnethercote
rust-lang/rust@fa3c25e112 Delete the run-pass-valgrind test suite
rust-lang/rust@f1e408a8de Remove valgrind test suite from opt-dist
rust-lang/rust@de588a6e60 Remove valgrind test suite support from bootstrap
rust-lang/rust@a961be9f13 Remove valgrind test suite and support from compiletest
rust-lang/rust@fc64ff7ec2 Rename nested_meta to meta_item_inner
rust-lang/rust@690332a251 Auto merge of #131345 - Zalathar:rollup-scdxuou, r=Zalathar
rust-lang/rust@64efbe2b53 Prune invalid ignore-mode-* directives
rust-lang/rust@99e12442da Rollup merge of #131325 - Zalathar:tweak-counters, r=jieyouxu
rust-lang/rust@5c1c49a0c4 Rollup merge of #131308 - mati865:gnullvm-f16-f128, r=tgross35
rust-lang/rust@dd4f062b07 Rollup merge of #128399 - mammothbane:master, r=Amanieu,tgross35
rust-lang/rust@8841a3dadd Auto merge of #131226 - nnethercote:rustc_infer-cleanups, r=lcnr
rust-lang/rust@4547c0a990 Avoid another &Lrc<..> in a return value.
rust-lang/rust@2123509351 Remove an unnecessary &Lrc<_> local variable.
rust-lang/rust@860cbccad9 Convert a &Lrc<T> argument to Lrc<T>.
rust-lang/rust@731469fee5 Convert Option<&Lrc<T>> return types to Option<&T>.
rust-lang/rust@a964a92277 Auto merge of #131068 - RalfJung:immediate-offset-sanity-check, r=nnethercote
rust-lang/rust@d793766a61 liballoc: introduce String, Vec const-slicing
rust-lang/rust@3fdcde76d9 Remove out-of-date comment.
rust-lang/rust@afbff05c84 Move a use statement so it's with the other use statements.
rust-lang/rust@e800967478 Simplify two matches.
rust-lang/rust@3386530c91 Streamline next_*_var* methods.
rust-lang/rust@deeb0c5cf3 Inline and remove InferCtxtBuilder::with_defining_opaque_types.
rust-lang/rust@0ca4784c45 Fix FIXME comment on FixupError.
rust-lang/rust@25d1ef1993 Remove InferCtxt::err_count_on_creation.
rust-lang/rust@2d2755ff97 Reduce visibilities some more.
rust-lang/rust@5c015eed47 Remove unused UnitResult type.
rust-lang/rust@5486d72e77 Reduce visibilities.
rust-lang/rust@7a9bbd05c4 Rename errors/mod.rs as errors.rs.
rust-lang/rust@cfeee7bcbf Remove unused features.
rust-lang/rust@aa4f16a6e7 Check that #[pointee] is applied only to generic arguments
rust-lang/rust@1b3b8e7b02 Auto merge of #128651 - folkertdev:naked-asm-macro-v2, r=Amanieu
rust-lang/rust@5fc60d1e52 various fixes for naked_asm! implementation
rust-lang/rust@10fa482906 remove checks that are now performed during macro expansion of naked_asm!
rust-lang/rust@bc0a9543a3 more asm! -> naked_asm! in tests
rust-lang/rust@562ec5a6fb disallow asm! in #[naked] functions
rust-lang/rust@1a9c1cbf36 use naked_asm! in feature-gate-naked_functions test
rust-lang/rust@47b42bef32 use naked_asm! in naked-function tests
rust-lang/rust@0aec55504c use naked_asm! in tests/ui/asm/naked-functions.rs
rust-lang/rust@aa5bbf05f4 implement naked_asm macro
rust-lang/rust@1e5c4cb0a2 Revert "Rollup merge of #129584 - lolbinarycat:old-upstream-warning, r=albertlarsan68"
rust-lang/rust@dd0bcf5185 Revert "Auto merge of #130121 - lolbinarycat:bootstrap-warn-old-upstream-worktree, r=albertlarsan68"
rust-lang/rust@6dfc4a0473 Rename NestedMetaItem to MetaItemInner
rust-lang/rust@ab154e6999 coverage: Store bcb_needs_counter in a field as a bitset
rust-lang/rust@c6e4fcd4fa coverage: Have MakeBcbCounters own its CoverageCounters
rust-lang/rust@3f90bb15ed coverage: Make BcbCounter module-private
rust-lang/rust@9d2495db60 enable f16 and f128 on windows-gnullvm targets
rust-lang/rust@7d63efdb8c fix GVN trying to transmute pointers to integers
rust-lang/rust@bf1f5c902b Avoid unused import warning for the Ctrl-C handler on wasm
rust-lang/rust@68034f837a Disable -Zdual-proc-macros if the target doesn't support proc-macros
rust-lang/rust@c69d174311 Remove unnecessary lifetime in ConditionVisitor.
rust-lang/rust@56e849ca21 Avoid &Rc<T> arguments.
rust-lang/rust@d9975ce2b4 Avoid Rc in BodyWithBorrowckFacts.
rust-lang/rust@3d7fe9e7dd Use Box instead of Rc for polonius_output.
rust-lang/rust@89e84c053d Use Rc less in MirBorrowckCtxt.
rust-lang/rust@a8f9a32650 interpret: Immediate::offset: use shared sanity-check function to ensure invariant
rust-lang/rust@6414d9f52d Couple of changes to make it easier to compile rustc for wasm
rust-lang/rust@c592eacc63 skip in-tree compiler build for llvm-bitcode-linker if ci-rustc is on

@github-actions github-actions bot requested a review from a team as a code owner October 14, 2024 03:16
@zhassan-aws zhassan-aws reopened this Oct 14, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Oct 14, 2024
@tautschnig tautschnig added this pull request to the merge queue Oct 14, 2024
Merged via the queue into main with commit 7f267ec Oct 14, 2024
26 of 27 checks passed
@tautschnig tautschnig deleted the toolchain-2024-10-08 branch October 14, 2024 08:45
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