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-11-03 #3674

Merged
merged 1 commit into from
Nov 3, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Nov 3, 2024

Update Rust toolchain from nightly-2024-11-02 to nightly-2024-11-03 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner November 3, 2024 03:18
Copy link
Contributor Author

github-actions bot commented Nov 3, 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@705cfe0 up to
rust-lang/rust@b3f75cc. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/b3f75cc872 Auto merge of #132147 - estebank:long-types-2, r=davidtwco

rust-lang/rust@7e0d3ed951 fix tests
rust-lang/rust@00ed73cdc0 Auto merge of #132512 - workingjubilee:update-miri-for-rustc-abi, r=RalfJung
rust-lang/rust@07cbbdd693 Auto merge of #132513 - matthiaskrgr:rollup-y98jvsl, r=matthiaskrgr
rust-lang/rust@c4024585a4 Rollup merge of #132495 - Houtamelo:remove_unintended_link, r=jieyouxu
rust-lang/rust@bfcd9ecea6 Rollup merge of #132494 - onur-ozkan:library-profile-default, r=jieyouxu
rust-lang/rust@52ff41ccaa Rollup merge of #132493 - Houtamelo:doc_type-ref_html-tag, r=jieyouxu
rust-lang/rust@90c5f86298 Rollup merge of #132482 - lukas-code:stab-attrs, r=Noratrieb
rust-lang/rust@6eeb286289 Rollup merge of #132481 - lukas-code:doc-stab3, r=GuillaumeGomez
rust-lang/rust@a953b3251f miri: Directly use rustc_abi
rust-lang/rust@588a420350 Auto merge of #132497 - matthiaskrgr:rollup-gaskcn0, r=matthiaskrgr
rust-lang/rust@30497b05cd Rollup merge of #132488 - compiler-errors:more-fixmes-bye, r=jieyouxu
rust-lang/rust@b9798d3f22 Rollup merge of #132471 - Noratrieb:lots-of-mailmapping, r=Mark-Simulacrum
rust-lang/rust@020b63aebc Rollup merge of #132466 - cjgillot:opaque-late, r=compiler-errors
rust-lang/rust@737cc83c3f Rollup merge of #132465 - ismailarilik:refactor/config/remove-fixme-comment-for-omit-git-hash, r=jieyouxu
rust-lang/rust@b1d059fc2b Rollup merge of #132457 - taiki-e:needless-feature, r=workingjubilee
rust-lang/rust@fa69b671a9 Rollup merge of #132453 - Urgau:non_local_defs-impl-mod-transparent, r=jieyouxu
rust-lang/rust@e5269bba2d Rollup merge of #132411 - MarcoIeni:ci-switch-to-free-runners, r=Kobzol
rust-lang/rust@ec1cebfcb6 Rollup merge of #132398 - krtab:add_doc_link, r=Noratrieb
rust-lang/rust@4b7bfaaf69 Rollup merge of #132333 - tshepang:patch-4, r=workingjubilee
rust-lang/rust@a513e0e983 Rollup merge of #132170 - veera-sivarajan:codegen-tests, r=jieyouxu
rust-lang/rust@bb544f863f Rollup merge of #131037 - madsmtm:move-llvm-target-versioning, r=petrochenkov
rust-lang/rust@329dacff10 add change entry for library profile update
rust-lang/rust@7fd3ce4b4b make download-rustc="if-unchanged" default for library profile
rust-lang/rust@102fac7af6 Remove unintended link
rust-lang/rust@1acb1043fe Fix type reference in documents which was being confused with html tags.
rust-lang/rust@d2aa91054b Add a Few Codegen Tests
rust-lang/rust@b5f4883a06 Auto merge of #132352 - DianQK:llvm/19.1.3, r=nikic
rust-lang/rust@9e5e47fc32 Remove or fix some FIXME(async_closure)
rust-lang/rust@143b072c62 Account for negative bounds in E0277 note and suggestion
rust-lang/rust@1a0c502183 On long E0277 primary span label, move it to a help
rust-lang/rust@092ecca5b9 Point at tail expression on rpit E0277
rust-lang/rust@86b5965608 Use short_ty_string
rust-lang/rust@c6017badb4 Fix type shortening writing to file
rust-lang/rust@7b9105dd88 Trim output of E0277 in some cases
rust-lang/rust@b7fc1a7431 Add trait diff highlighting logic and use it in E0277
rust-lang/rust@ef972a3466 Auto merge of #132475 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@2a6a70606d fix some stability annotations
rust-lang/rust@728315df79 rustdoc: skip stability inheritance for some item kinds
rust-lang/rust@65c74101b5 Update cargo
rust-lang/rust@7c7bb7dc01 Auto merge of #132470 - GuillaumeGomez:rollup-1a1mkmp, r=GuillaumeGomez
rust-lang/rust@d39270f775 CI: switch dist-x86_64-musl to free runner
rust-lang/rust@e4305f1657 Add a bunch of mailmap entries
rust-lang/rust@305ca05cbe Rollup merge of #132459 - RalfJung:byte_sub_ptr, r=scottmcm
rust-lang/rust@81c6943f1a Rollup merge of #132456 - taiki-e:test-asm-dir, r=jieyouxu
rust-lang/rust@d5366090f9 Rollup merge of #132455 - RalfJung:const_alloc_layout, r=dtolnay
rust-lang/rust@5f8d7e84cc Rollup merge of #132451 - RalfJung:less-rustc_allow_const_fn_unstable, r=tgross35
rust-lang/rust@7bfdc3d898 Rollup merge of #132450 - bjorn3:better_mir_errors, r=jieyouxu
rust-lang/rust@e9e7aa8487 Rollup merge of #132448 - chengehe:master, r=Noratrieb
rust-lang/rust@8366ecca2e Rollup merge of #132445 - RalfJung:const-unchecked-shifts, r=tgross35
rust-lang/rust@93fb6ef84e Rollup merge of #132444 - workingjubilee:rustdoc-my-abi, r=GuillaumeGomez
rust-lang/rust@2896483320 Rollup merge of #132439 - tgross35:f16-f128-nan-lint, r=jieyouxu
rust-lang/rust@c794207eae Rollup merge of #132438 - chenyukang:yukang-fix-analyzer_settings, r=jieyouxu
rust-lang/rust@5f0568b7b7 Rollup merge of #132413 - lolbinarycat:offset_of_nested-docs, r=workingjubilee
rust-lang/rust@e31a5ca1a3 Rollup merge of #132383 - compiler-errors:never-type-fallback-sugg, r=WaffleLapkin
rust-lang/rust@348d28052b Rollup merge of #132369 - joshtriplett:style-guide-binop-heuristic-assignment-only, r=calebcartwright
rust-lang/rust@526c67f37b Rollup merge of #131829 - Zalathar:goodbye-zprofile, r=chenyukang
rust-lang/rust@e2a50de5f4 Use more minimized test.
rust-lang/rust@a7f609504c Skip late-bound lifetimes when crossing an AnonConst.
rust-lang/rust@e169483879 refactor(config): remove FIXME statement in comment of omit-git-hash
rust-lang/rust@45d4465028 Account for late-bound depth when capturing all opaque lifetimes.
rust-lang/rust@a8d4d23107 rustdoc: Directly use rustc_abi instead of reexports
rust-lang/rust@1ef1af1c60 Emit diagnostics for incorrect deployment targets
rust-lang/rust@e75a7ddad3 Move Mach-O platform information to rustc_codegen_ssa::back::apple
rust-lang/rust@e1233153ac Move versioned LLVM target creation to rustc_codegen_ssa
rust-lang/rust@37db365948 Also treat impl definition parent as transparent regarding modules
rust-lang/rust@c38865502e offset_from / sub_ptr docs: emphasize that pointers must be in the same allocation
rust-lang/rust@aba2088735 feat(byte_sub_ptr): add ptr::byte_sub_ptr
rust-lang/rust@57673dd646 Remove needless #![feature(asm_experimental_arch)] from loongarch64 inline assembly test
rust-lang/rust@c9e77e8776 make const_alloc_layout feature gate only about functions that are already stable
rust-lang/rust@96e7eaf478 Move remaining inline assembly test files into asm directory
rust-lang/rust@901b340c1f unchecked_shifts, unchecked_neg are safe-to-const-expose-on-stable, so we can get rid of a bunch of attributes
rust-lang/rust@506812d087 remove some unnecessary rustc_allow_const_fn_unstable
rust-lang/rust@760338526f Show actual MIR when MIR building forgot to terminate block
rust-lang/rust@5342eb0597 Add missing backtick
rust-lang/rust@b6a49d8969 Remove unncessary option for default rust-analyzer setting
rust-lang/rust@3afbe4f9c7 Add f16 and f128 to invalid_nan_comparison
rust-lang/rust@b4248aeec3 nits
rust-lang/rust@df6f5841e5 And also suggest for qpaths
rust-lang/rust@c930bba283 And locals too
rust-lang/rust@ea4fb7c25c Suggest adding self type to method
rust-lang/rust@41966e71bc Suggest annotations for never type fallback
rust-lang/rust@588c7a934a nit: stop using TypeckRootCtxt
rust-lang/rust@fc67203d59 use semantic line break
rust-lang/rust@dd651be7bc update offset_of! docs to reflect the stablization of nesting
rust-lang/rust@df445264b3 Add intra-doc link in str::xxx_char_boundary
rust-lang/rust@ce3e14a448 Remove support for -Zprofile (gcov-style coverage instrumentation)
rust-lang/rust@d7e6074083 style-guide: Only use the new binop heuristic for assignments
rust-lang/rust@df8c20d7a5 Add intra-doc link in str::xxx_prefix
rust-lang/rust@ebeaaadcea Update LLVM to 19.1.3
rust-lang/rust@416017d2de Add a regression test for #131031
rust-lang/rust@ee4b0445d3 rust_analyzer_helix.toml: add library/ manifest

@zhassan-aws zhassan-aws closed this Nov 3, 2024
@zhassan-aws zhassan-aws reopened this Nov 3, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Nov 3, 2024
@zhassan-aws zhassan-aws added this pull request to the merge queue Nov 3, 2024
Merged via the queue into main with commit 04a59f1 Nov 3, 2024
26 of 27 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2024-11-03 branch November 3, 2024 07: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.

2 participants