Automatic toolchain upgrade to nightly-2023-11-11 #2870
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
|
The failures are due to the usual noisy tests. Merging. |
zhassan-aws
approved these changes
Nov 13, 2023
jaisnan
added a commit
that referenced
this pull request
Nov 17, 2023
Upgrade version number to 0.41.0 The CHANGELOG changes are: ``` # What's Changed * Fix setup for `aarch64-unknown-linux-gnu` platform by @adpaco-aws in #2864 * Do not override `std` library during playback by @celinval in #2852 * Fix docker build step in release workflow by @adpaco-aws in #2854 * Fix path-dependent failures in `assess-artifacts` test by @adpaco-aws in #2849 * Automatic toolchain upgrade to nightly-2023-11-11 by @github-actions in #2870 **Full Changelog**: kani-0.40.0...kani-0.41.0 ### Breaking Changes * Set minimum python to 3.7 in docker container and release action by @remi-delmas-3000 in #2879 * Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in #2860 ``` By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update Rust toolchain from nightly-2023-11-10 to nightly-2023-11-11 without any other source changes.
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@0f44eb3 up to rust-lang/rust@edf0b1d. The log for this commit range is:
rust-lang/rust@edf0b1db0a Auto merge of #115229 - iSwapna:issue-115222-fix, r=estebank
rust-lang/rust@56a109d15b Recurse over the method chain and maintain a stack to peek at previous receiver to align spans
rust-lang/rust@d4c86cfc49 Auto merge of #117779 - bjorn3:sync_cg_clif-2023-11-10, r=bjorn3
rust-lang/rust@d186b49460 Merge commit 'c84d1871dc4456539b7b578830268ab3539915d0' into sync_cg_clif-2023-11-10
rust-lang/rust@c84d1871dc Rustup to rustc 1.75.0-nightly (0f44eb32f 2023-11-09)
rust-lang/rust@6e7961ac5d Sync from rust 0f44eb32f1123ac93ab404d74c295263ce468343
rust-lang/rust@3d0e99d632 Auto merge of #117765 - onur-ozkan:fix-117762, r=clubby789
rust-lang/rust@17d0a45f5d Auto merge of #117572 - RalfJung:addr_of, r=cuviper
rust-lang/rust@e30f8ae867 mention null explicitly
rust-lang/rust@0a1e5598b0 Auto merge of #117750 - klensy:icu-followup, r=Nilstrieb
rust-lang/rust@d42d73b144 Auto merge of #117769 - matthiaskrgr:rollup-4efjlg3, r=matthiaskrgr
rust-lang/rust@186a3c8c61 Rollup merge of #117751 - aDotInTheVoid:unkind, r=GuillaumeGomez
rust-lang/rust@7607597d3a Rollup merge of #117743 - sjwang05:issue-117720, r=estebank
rust-lang/rust@7fd7719ca1 Rollup merge of #117741 - eltociear:patch-23, r=compiler-errors
rust-lang/rust@0f1da7e682 Rollup merge of #117730 - jmillikin:fmt-debug-helper-fns, r=cuviper
rust-lang/rust@7096ec3e00 Rollup merge of #117039 - scottmcm:clarify-get-unchecked, r=cuviper
rust-lang/rust@9dc022dd80 Rollup merge of #114191 - rcvalle:rust-exploit-mitigations, r=cuviper
rust-lang/rust@82a9f94de5 Closure-consuming helper functions for
fmt::Debughelpersrust-lang/rust@fdb72795d1 enable unstable feature on
x clean [PATH]rust-lang/rust@22e1576a12 rustdoc-json: Fix test so it actuall checks things
rust-lang/rust@7142c8d83c bump few ICU4X leftover deps
rust-lang/rust@5693a34db2 Suggest fix for ; within let-chains
rust-lang/rust@b8648216a5 Fix typo in internal.rs
rust-lang/rust@7c385f5a03 Update exploit mitigations documentation
rust-lang/rust@545175ce87 Fix addition formatting
rust-lang/rust@82487a9447 Merge pull request #1417 from rust-lang/implement_xgetbv
rust-lang/rust@864973135a Implement all vendor intrinsics used by the simd-json crate
rust-lang/rust@9f426cef38 Merge pull request #1416 from afonso360/aarch64-intrinsics-1
rust-lang/rust@ecf79a304a Implement all vendor intrinsics used by the fimg crate
rust-lang/rust@0a35232c85 Implement all vendor intrinsics used by the httparse crate
rust-lang/rust@61e38ceea7 Implement all SSE intrinsics used by the jpeg-decoder crate
rust-lang/rust@438194980b Implement all avx2 intrinsics used by the image crate
rust-lang/rust@6a53acefd8 Implement _mm256_permute2f128_ps and _mm256_permute2f128_pd intrinsics
rust-lang/rust@81af5b5031 update and clarify addr_of docs
rust-lang/rust@209476e33a Only import aarch64 intrinsics on aarch64
rust-lang/rust@f824da66c6 Make neon example build in all arches
rust-lang/rust@70a6abfd29 Add unsigned saturating add/sub intrinsics for aarch64
rust-lang/rust@88c2e7896b Implement aarch64 addp intrinsics
rust-lang/rust@1f09bae6a8 Implement min/max neon intrisics
rust-lang/rust@8eca01f4b6 Remove support for compiler plugins.
rust-lang/rust@f6a8c3afb5 Add real implementation of _xgetbv()
rust-lang/rust@909513ef74 Use Value instead of CValue in CInlineAsmOperand
rust-lang/rust@ef3703694f Disable a couple of rustc tests which are broken due to a rustc bug
rust-lang/rust@c04ceb4342 Fix workaround for the
int $$0x29issue to not crash on empty inline asmrust-lang/rust@04f1024ecb Rustup to rustc 1.75.0-nightly (75b064d26 2023-11-01)
rust-lang/rust@361585e06d Sync from rust 75b064d26970ca8e7a487072f51835ebb057d575
rust-lang/rust@03c9acdd8f Support enum variants in offset_of!
rust-lang/rust@48ca2d9703 Implement llvm.fma.v* intrinsics
rust-lang/rust@aed0ed2875 Rollup merge of #117317 - RalfJung:track-caller, r=oli-obk
rust-lang/rust@9a33f82140 Remove inline asm support from the list of limitations
rust-lang/rust@51f6ac7bfc Merge branch 'sync_from_rust'
rust-lang/rust@41dcb52153 Merge commit 'dde58803fd6cbb270c7a437f36a8a3a29fbef679' into sync_cg_clif-2023-10-29
rust-lang/rust@c6f5090294 share the track_caller handling within a mir::Body
rust-lang/rust@bad4be6e29 interpret: call caller_location logic the same way codegen does, and share some code
rust-lang/rust@01ca7a0cb0 Add the missing word
rust-lang/rust@2c13ee8970 Clarify UB in
get_unchecked(_mut)rust-lang/rust@40a83be6eb Format exploit mitigations documentation