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-28 #3653

Merged
merged 2 commits into from
Oct 28, 2024

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2024-10-27 to nightly-2024-10-28 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner October 28, 2024 03:19
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@9b18a12 up to
rust-lang/rust@df4ca44. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/df4ca44d3f Auto merge of #132237 - matthiaskrgr:rollup-ulogwtd, r=matthiaskrgr

rust-lang/rust@0cace65e8f Rollup merge of #132234 - RalfJung:miri-sync, r=RalfJung
rust-lang/rust@afd889732f Rollup merge of #132228 - devnexen:ci_update_fbsd_revert, r=workingjubilee
rust-lang/rust@4649a1b141 Rollup merge of #132221 - ehuss:lint-docs, r=compiler-errors
rust-lang/rust@574a8ba6af Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errors
rust-lang/rust@60beb5979b Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillot
rust-lang/rust@81d6652e74 Auto merge of #131284 - dingxiangfei2009:rename-smart-ptr-to-coerce-referent, r=compiler-errors
rust-lang/rust@4ccaef12a6 Revert "ci update freebsd version proposal, freebsd 12 being eol."
rust-lang/rust@5f5c243ca0 Auto merge of #132215 - onur-ozkan:bootstrap-git, r=Kobzol
rust-lang/rust@924ded6b72 Clean up some comments on lint implementation
rust-lang/rust@9fa0146c4a Auto merge of #132191 - Urgau:midpoint_signed_towards_zero, r=dtolnay
rust-lang/rust@e454c45f13 Auto merge of #132091 - Zalathar:graph-loops, r=saethlin
rust-lang/rust@442f39582d Move an impl-Trait check from AST validation to AST lowering
rust-lang/rust@de7cef75be Auto merge of #132213 - workingjubilee:rollup-tg1g3l5, r=workingjubilee
rust-lang/rust@74bfa661a5 simplify force-recompile logic for "library"
rust-lang/rust@a8261333e1 don't use absolute paths on git(Some(self.src))
rust-lang/rust@b61d3f6f93 Rollup merge of #132205 - workingjubilee:rv32e-platform-docs-mislinked, r=tgross35
rust-lang/rust@b3ac6d339c Rollup merge of #132192 - petrochenkov:macfa, r=compiler-errors
rust-lang/rust@b80593995d Rollup merge of #132183 - GuillaumeGomez:code-in-docblock, r=notriddle
rust-lang/rust@05f784c955 Rollup merge of #132123 - lolbinarycat:rustdoc-search-foreign-func, r=notriddle
rust-lang/rust@be33e4f3d6 Auto merge of #132167 - Zalathar:llvm-wrappers, r=jieyouxu
rust-lang/rust@f7cf41c973 Auto merge of #131900 - mrkajetanp:target-feature-pauth-lr, r=Amanieu
rust-lang/rust@d976ca8701 Use LLVM-C APIs for getting/setting visibility
rust-lang/rust@2ebb8ecbc4 docs: Correctly link riscv32e from platform-support.md
rust-lang/rust@4dce9138d7 Auto merge of #131715 - tgross35:add-const_sockaddr_setters, r=Amanieu
rust-lang/rust@74b9de4af2 Add test for all midpoint expectations
rust-lang/rust@b93a2dd0ef expand: Stop using artificial ast::Item for macros loaded from metadata
rust-lang/rust@88f4425dd2 Update GUI test
rust-lang/rust@00444bab26 Round negative signed integer towards zero in iN::midpoint
rust-lang/rust@ca0e5df0a6 Merge pull request #3995 from RalfJung/readdir_r
rust-lang/rust@ae66380da0 Add GUI regression test for code in doc blocks
rust-lang/rust@dd3dc103fc Fix code HTML items making big blocks if too long
rust-lang/rust@96993a9b5e Use LLVM-C APIs for getting/setting linkage
rust-lang/rust@ec41e6d1b0 Add a wrapper type for raw enum values returned by LLVM
rust-lang/rust@b114040afb Use safe wrappers get_visibility and set_visibility
rust-lang/rust@983d258be3 Use safe wrappers get_linkage and set_linkage
rust-lang/rust@144a12acdd Add a macro that derives TryFrom<u32> for fieldless enums
rust-lang/rust@4a34e2784b do not set the file type to an error code
rust-lang/rust@3f763c776e do not use host 'raw_os_error' to compute target error code
rust-lang/rust@72664f7760 fix error returned from readdir_r when isolation is enabled
rust-lang/rust@d1530f0ed9 Merge pull request #3993 from RalfJung/dir-entry-drop-explicit
rust-lang/rust@d09fbe3e4e Merge pull request #3994 from RalfJung/auto-pr
rust-lang/rust@3ff01dd908 automatic PR: explain how to trigger CI
rust-lang/rust@df9829c64d indicate more explicitly where we close host file/dir handles
rust-lang/rust@19b2142d18 coverage: Don't rely on the custom traversal to find enclosing loops
rust-lang/rust@09773b4f24 allow type-based search on foreign functions
rust-lang/rust@3432b91bbc Merge pull request #3989 from RalfJung/ci
rust-lang/rust@cbf6c86f56 Merge pull request #3990 from RalfJung/errno-cleanup
rust-lang/rust@2350ba7276 some more opportunities for set_last_error_and_return
rust-lang/rust@82b041e356 get rid of fd_not_found; improve error handling in FileMetadata
rust-lang/rust@e5d32b6757 CI workflow: tweak conclusion job
rust-lang/rust@a21369fc21 Merge pull request #3984 from noahmbright/unix_shims
rust-lang/rust@c1004ff861 Clear more eval_libc errors from unix shims
rust-lang/rust@6cb84feef7 apply suggestion
rust-lang/rust@fd36b3a4a8 s/SmartPointer/CoerceReferent/g
rust-lang/rust@1b7a91ed71 Deduplicate handling of early-bound params in RTN
rust-lang/rust@0b52ec3d7e Simplify confusing ResolvedArg constructors
rust-lang/rust@340d2f7847 Merge pull request #3981 from Kobzol/ci-merge-queue
rust-lang/rust@615822d0da Switch CI to merge queues
rust-lang/rust@f8448f9e0c Auto merge of #3982 - RalfJung:epoll_ctl, r=RalfJung
rust-lang/rust@3d9d393360 Auto merge of #3985 - rust-lang:rustup-2024-10-22, r=RalfJung
rust-lang/rust@cd8c1234ce fmt
rust-lang/rust@865acc2e83 Merge from rustc
rust-lang/rust@499820a494 Preparing for merge from rustc
rust-lang/rust@e51eded01a epoll_ctl: throw unsupported error on unsupported opcode
rust-lang/rust@695a1b67aa Auto merge of #3899 - YohDeadfall:prctl-thread-name, r=RalfJung
rust-lang/rust@13e5e4b759 Auto merge of #3941 - noahmbright:unix_shims, r=oli-obk
rust-lang/rust@c2f43ba09c Added support for prctl handling thread names
rust-lang/rust@2b11c70690 Replace set_last_error with set_last_error_and_return_i*
rust-lang/rust@45a9a7ca5a Auto merge of #3980 - rust-lang:rustup-2024-10-20, r=RalfJung
rust-lang/rust@ccd680ee01 fmt
rust-lang/rust@19b0bb9b54 Merge from rustc
rust-lang/rust@ea2ac892bd Preparing for merge from rustc
rust-lang/rust@3386ae21cc Auto merge of #3979 - RalfJung:tail-call-drops-locals, r=RalfJung
rust-lang/rust@2775f3962a tail_calls: add test ensuring local vars are indeed gone
rust-lang/rust@dd81b8c074 Auto merge of #3978 - RalfJung:threadname, r=RalfJung
rust-lang/rust@5db0e4037b pthread-threadname: ensure we can see the name set via the Rust API
rust-lang/rust@8bb356c84b Auto merge of #3977 - eduardosm:f16-f128, r=RalfJung
rust-lang/rust@d7e91ba962 miri: improve support for f16 and f128
rust-lang/rust@f7ccac9666 Auto merge of #3975 - rust-lang:rustup-2024-10-17, r=RalfJung
rust-lang/rust@8640c43c68 data-race test: disable address reuse that can incur accidental sync
rust-lang/rust@fa1e265473 Merge from rustc
rust-lang/rust@4ba20f6a08 Preparing for merge from rustc
rust-lang/rust@f641c32aad rustc_target: Add pauth-lr aarch64 target feature
rust-lang/rust@d6146a8496 Add a const_sockaddr_setters feature

@zhassan-aws zhassan-aws reopened this Oct 28, 2024
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Oct 28, 2024
@zhassan-aws zhassan-aws added this pull request to the merge queue Oct 28, 2024
Merged via the queue into main with commit f03c65b Oct 28, 2024
37 of 38 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2024-10-28 branch October 28, 2024 23:23
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