Automatic toolchain upgrade to nightly-2024-04-20 #3154
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}
tautschnig
approved these changes
Apr 22, 2024
karkhaz
added a commit
that referenced
this pull request
May 7, 2024
For reference, here is the auto-generated changelog ## What's Changed * Upgrade toolchain to 2024-04-18 and improve toolchain workflow by @celinval in #3149 * Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions in #3150 * Stabilize cover statement and update contracts RFC by @celinval in #3091 * Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions in #3154 * Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in #3140 * Automatic cargo update to 2024-04-22 by @github-actions in #3157 * Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions in #3158 * Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in #3159 * Fix cargo audit error by @jaisnan in #3160 * Fix cbmc-update CI job by @tautschnig in #3156 * Automatic cargo update to 2024-04-29 by @github-actions in #3165 * Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in #3166 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in #3134 * Fix copyright check for `expected` tests by @adpaco-aws in #3170 * Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in #3169 * Automatic cargo update to 2024-05-06 by @github-actions in #3172 * Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in #3174 * Avoid unnecessary uses of Location::none() by @tautschnig in #3173 **Full Changelog**: kani-0.50.0...kani-0.51.0 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this pull request
May 8, 2024
Update Rust toolchain from nightly-2024-04-19 to nightly-2024-04-20 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@e3181b0 up to rust-lang/rust@f9b1614.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
Update Rust toolchain from nightly-2024-04-19 to nightly-2024-04-20 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@e3181b0 up to rust-lang/rust@f9b1614.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
For reference, here is the auto-generated changelog ## What's Changed * Upgrade toolchain to 2024-04-18 and improve toolchain workflow by @celinval in model-checking#3149 * Automatic toolchain upgrade to nightly-2024-04-19 by @github-actions in model-checking#3150 * Stabilize cover statement and update contracts RFC by @celinval in model-checking#3091 * Automatic toolchain upgrade to nightly-2024-04-20 by @github-actions in model-checking#3154 * Bump tests/perf/s2n-quic from `2d5e891` to `5f88e54` by @dependabot in model-checking#3140 * Automatic cargo update to 2024-04-22 by @github-actions in model-checking#3157 * Automatic toolchain upgrade to nightly-2024-04-21 by @github-actions in model-checking#3158 * Bump tests/perf/s2n-quic from `5f88e54` to `9730578` by @dependabot in model-checking#3159 * Fix cargo audit error by @jaisnan in model-checking#3160 * Fix cbmc-update CI job by @tautschnig in model-checking#3156 * Automatic cargo update to 2024-04-29 by @github-actions in model-checking#3165 * Bump tests/perf/s2n-quic from `9730578` to `1436af7` by @dependabot in model-checking#3166 * Do not assume that ZST-typed symbols refer to unique objects by @tautschnig in model-checking#3134 * Fix copyright check for `expected` tests by @adpaco-aws in model-checking#3170 * Remove kani::Arbitrary from the modifies contract instrumentation by @feliperodri in model-checking#3169 * Automatic cargo update to 2024-05-06 by @github-actions in model-checking#3172 * Bump tests/perf/s2n-quic from `1436af7` to `6dd41e0` by @dependabot in model-checking#3174 * Avoid unnecessary uses of Location::none() by @tautschnig in model-checking#3173 **Full Changelog**: model-checking/kani@kani-0.50.0...kani-0.51.0 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --------- Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
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-2024-04-19 to nightly-2024-04-20 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@e3181b0 up to rust-lang/rust@f9b1614. The log for this commit range is:
rust-lang/rust@f9b1614920 Auto merge of #124170 - matthiaskrgr:rollup-ldopl64, r=matthiaskrgr
rust-lang/rust@f1e536df59 Rollup merge of #124155 - klensy:wrong-rayon-here, r=albertlarsan68
rust-lang/rust@f8afb6314b Rollup merge of #124149 - notriddle:notriddle/desc-alias, r=GuillaumeGomez
rust-lang/rust@26d4b1bfba Rollup merge of #124106 - compiler-errors:tait-lifetime-dedup, r=oli-obk
rust-lang/rust@b1eee427a0 Rollup merge of #123729 - jieyouxu:rmake-refactor-2, r=oli-obk
rust-lang/rust@6c4657c086 Rollup merge of #123571 - WaffleLapkin:properly-adjust-never, r=compiler-errors
rust-lang/rust@ce3263e60e Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obk
rust-lang/rust@d3f927db87 avoid PartialOrd on ScalarInt
rust-lang/rust@d1a0fa5ed3 Auto merge of #118441 - GuillaumeGomez:display-stability-version, r=rustdoc
rust-lang/rust@07d0d7ce3f Auto merge of #123364 - klensy:bs-mixed-types, r=albertlarsan68
rust-lang/rust@42220f0930 ScalarInt: add methods to assert being a (u)int of given size
rust-lang/rust@e5a6d8d0cd Remove old ICE tests that no longer ICE (yay!)
rust-lang/rust@0bbe362901 Correctly change type when adding adjustments on top of
NeverToAnyrust-lang/rust@4d749cad25 Add a test for
a == bwherea: !, b: !rust-lang/rust@662d276573 Add regression test for issue 120600
rust-lang/rust@43a0686f8d Auto merge of #115253 - donno2048:patch-1, r=albertlarsan68
rust-lang/rust@6612ad796c bootstrap: don't use rayon for sysinfo
rust-lang/rust@c4f112af6e Auto merge of #124123 - flip1995:clippy-subtree-update, r=Manishearth
rust-lang/rust@0ed85d0c8d Auto merge of #124147 - workingjubilee:rollup-7pjnzr6, r=workingjubilee
rust-lang/rust@2e7d9e9acb rustdoc-search: fix description on aliases in results
rust-lang/rust@c8d58faba2 Rollup merge of #124116 - RalfJung:miri-rust-backtrace, r=Nilstrieb
rust-lang/rust@f36ca7a75f Rollup merge of #124110 - beetrees:neg-f16-f128, r=compiler-errors
rust-lang/rust@55c35dd22e Rollup merge of #124019 - ChrisDenton:futex-raw-dylib, r=joboet
rust-lang/rust@2b94e02737 Rollup merge of #123980 - WaffleLapkin:graph-average-refactor, r=wesleywiser
rust-lang/rust@f174c310ae Rollup merge of #123935 - tstsrt:fix-115423, r=oli-obk
rust-lang/rust@0a0a5a956c Rollup merge of #123752 - estebank:emoji-prefix, r=wesleywiser
rust-lang/rust@3831cbb28f Rollup merge of #123406 - krtab:fix_remainder_iterchunk, r=scottmcm
rust-lang/rust@13e63f7490 Auto merge of #117919 - daxpedda:wasm-c-abi, r=wesleywiser
rust-lang/rust@fa0068b541 Auto merge of #124038 - matthiaskrgr:one_or_two_more_tests, r=jieyouxu
rust-lang/rust@523fe2b67b Add tests for predecessor-aware
VecGraphmoderust-lang/rust@1d45b7adaf crashes: add a couple more tests
rust-lang/rust@9028e00dfa Merge commit 'ca3b393750ee8d870bf3215dcf6509cafa5c0445' into clippy-subtree-update
rust-lang/rust@ca3b393750 Auto merge of #12690 - flip1995:rustup, r=flip1995
rust-lang/rust@fca4e16ffb Bump nightly version -> 2024-04-18
rust-lang/rust@846f6e7e00 Merge remote-tracking branch 'upstream/master' into rustup
rust-lang/rust@5e6184cdb7 interpret/binary_int_op: avoid dropping to raw ints until we determined the sign
rust-lang/rust@3e633981ef when suggesting RUST_BACKTRACE=1, add a special note for Miri's env var isolation
rust-lang/rust@e2ab540e37 add rustc-hash
rust-lang/rust@ca67fd6d19 fix lockfile
rust-lang/rust@cc12a1b511 Fix negating
f16andf128constantsrust-lang/rust@fa6444b050 reset lockfile to head
rust-lang/rust@ffb4206577 Don't repeatedly duplicate TAIT lifetimes for each subsequently nested TAIT
rust-lang/rust@72edac0eb2 allow the tests to pass tidy
rust-lang/rust@e6b386ba2b add tests
rust-lang/rust@9d27cbfaac fix value
rust-lang/rust@473af625db configure for testing
rust-lang/rust@e06f90fc51 format style.rs
rust-lang/rust@8d0870899c separate regex generation
rust-lang/rust@da35c19311 use a function to generate the regex
rust-lang/rust@ca945e9ed8 tests: update cross-lang-lto-riscv-abi to use command wrappers
rust-lang/rust@255bee1777 run-make-support: add clang and llvm-readobj command wrappers
rust-lang/rust@1d929cf8b7 allow to set line-directives-only too
rust-lang/rust@3ea7cf5383 bootstrap: actually allow set debuginfo-level to "lines-tables-only"
rust-lang/rust@cdd6336386 Auto merge of #12682 - cuviper:muopb-asm, r=llogiq
rust-lang/rust@1ba78212ff Auto merge of #12680 - Alexendoo:cargo-dev-setup-toolchain, r=llogiq
rust-lang/rust@432bce6583 Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errors
rust-lang/rust@245fbeef49 The
multiple_unsafe_ops_per_blocktest needsasm!rust-lang/rust@dd615004ea restore line-break
rust-lang/rust@9cdf3ca600 default to no testing
rust-lang/rust@f71d2a2af6 update cargo manifest
rust-lang/rust@2196d65cf2 update lockfile
rust-lang/rust@331fd31e20 use
FxHashMaprust-lang/rust@cfa007f1d1 use one
useforstdrust-lang/rust@f275a3c65b refactor
rust-lang/rust@ab15157960 revert using regex
rust-lang/rust@047a0c6fa5 use regex to check for problems
rust-lang/rust@7b7a26bee5 remove redundant whitespace
rust-lang/rust@586d9d6daf format
rust-lang/rust@4ff9f25467 restore original consts
rust-lang/rust@48cb8649f7 use
generate_problemsrust-lang/rust@8ced53e0cc format style.rs
rust-lang/rust@a1f228bcd2 add more
PROBLEMATIC_CONSTSrust-lang/rust@c4f14ed785 Rollup merge of #122811 - nnethercote:mv-SourceMap-init, r=WaffleLapkin
rust-lang/rust@1fff3bef4d Add
cargo dev setup toolchainrust-lang/rust@f5e250180c Auto merge of #12673 - Luv-Ray:fix-ptr-as-ptr-duplicate-errors, r=blyxyas
rust-lang/rust@5b024d6550 Cranelift: Revert raw-dylib for Windows futex APIs
rust-lang/rust@f68529f2cf Use raw-dylib for Windows futex APIs
rust-lang/rust@f075abb4d0 Auto merge of #12678 - flip1995:bump-nightly, r=flip1995
rust-lang/rust@ae37fa89b4 Bump nightly version -> 2024-04-05
rust-lang/rust@dd0da10511 Auto merge of #123468 - compiler-errors:precise-capturing, r=oli-obk
rust-lang/rust@0aea3edb38 Avoid lots of
hir::HirId{,Map,Set}qualifiers.rust-lang/rust@c0bc812227 Always use
ty::qualifier forTyKindenum variants.rust-lang/rust@b64c5f991c Avoid unnecessary
rustc_span::DUMMY_SPusage.rust-lang/rust@3e11360497 Construct
SourceMapat the same time asSessionGlobals.rust-lang/rust@fa134b5e0f Add
graph::depth_first_search_as_undirectedrust-lang/rust@7d2cb3dda7 Make
graph::DepthFirstSearchacceptGby valuerust-lang/rust@86a576528c Add an opt-in to store incoming edges in
VecGraph+ some docsrust-lang/rust@ac174ae8d2 Rollup merge of #123926 - compiler-errors:no-ann, r=estebank
rust-lang/rust@b3a82d8f9e Rollup merge of #123462 - fmease:rn-mod-sep-to-path-sep, r=nnethercote
rust-lang/rust@1703109ba0 Fix clippy
rust-lang/rust@febf858c23 Remove TypeVariableOriginKind
rust-lang/rust@735f2c6f92 Rustfmt, clippy
rust-lang/rust@da0ae33c15 [
ptr_as_ptr]: Fix duplicate errorsrust-lang/rust@7063e3435c Auto merge of #12094 - yuxqiu:search_is_some, r=xFrednet,ARandomDev99
rust-lang/rust@4c8d210ab8 Improve semantics of int_ty_max functions
rust-lang/rust@38c4885c39 Add more test cases
rust-lang/rust@757f5bb3dc Fix formatting
rust-lang/rust@857f5dd475 Don't inline integer literals when out of range
rust-lang/rust@832fdb6d30 Auto merge of #12573 - modelflat:recognize-common-prepositions-in-module-name-repetitions, r=Jarcho
rust-lang/rust@0d84f00156 Auto merge of #12635 - Alexendoo:doc-check-attributes, r=Jarcho
rust-lang/rust@2e989dc280 Rollup merge of #123204 - notriddle:notriddle/include-str-span, r=pnkfelix
rust-lang/rust@6b1c828d91 Auto merge of #12661 - jqnatividad:unsafe_derive_deserialize-why_is_this_bad-typo, r=Alexendoo
rust-lang/rust@7dca8152cf Auto merge of #12660 - jqnatividad:fix-various-typos, r=Alexendoo
rust-lang/rust@46323751ad Auto merge of #12665 - cowlicks:patch-1, r=Alexendoo
rust-lang/rust@dfd41ad426 Auto merge of #12668 - Alexendoo:remark-version, r=flip1995
rust-lang/rust@fb2e827c64 Pin remark-lint-maximum-line-length version
rust-lang/rust@19821ad234 Properly handle emojis as literal prefix in macros
rust-lang/rust@8b5447c622 Fix typo in needless_borrows_for_generic_args.rs
rust-lang/rust@d7a8622bf4 Why is this bad explanation typo
rust-lang/rust@8de0a1bdbd fix varname typo
rust-lang/rust@e5b6d433fb fix various comment typos
rust-lang/rust@d13ccf3392 Add a helper for extending a span to include any trailing whitespace
rust-lang/rust@62fd1d5377 Auto merge of #12646 - GuillaumeGomez:regression-test-12537, r=blyxyas
rust-lang/rust@f7d49a340d Turn
duplicated_attributesinto a late lintrust-lang/rust@ccc93f91b2 Auto merge of #12649 - flip1995:book-readme-sync, r=xFrednet
rust-lang/rust@54e8ad88b6 Auto merge of #12652 - Wilfred:patch-2, r=Alexendoo
rust-lang/rust@23225e15d0 Consistent lint group table in book and README
rust-lang/rust@3705073a71 Recognize common prefixes when checking for items with module name suffix
rust-lang/rust@1b6561f59b Auto merge of #12630 - mira-eanda:master, r=Manishearth
rust-lang/rust@8ae7eaefdc fix: Refactor dereference code and fix test
rust-lang/rust@db3a927432 Fix markdown syntax in str_split_at_newline docs
rust-lang/rust@fa2db5a60b Auto merge of #120131 - oli-obk:pattern_types_syntax, r=compiler-errors
rust-lang/rust@ce82fa494d Rollup merge of #123625 - oli-obk:private_fnctxt, r=fee1-dead
rust-lang/rust@4daaf19138 Rollup merge of #122807 - danielhuang:fix-1, r=davidtwco
rust-lang/rust@c8388033f3 Actually create ranged int types in the type system.
rust-lang/rust@89b48a2e22 Thread pattern types through the HIR
rust-lang/rust@02b5e1a159 Stop exporting
TypeckRootCtxtandFnCtxt.rust-lang/rust@2202493a67 Auto merge of #12626 - folkertdev:incorrect-boolean-simplification, r=blyxyas
rust-lang/rust@1c9e96536b Auto merge of #12610 - ARandomDev99:manual_unwrap_or_default-12564, r=dswij
rust-lang/rust@6a2cb33029 fix incorrect suggestion for
!(a as type >= b)rust-lang/rust@367f7aac5a Auto merge of #12604 - xFrednet:00000-review-vacation, r=matthiaskrgr
rust-lang/rust@2a34f231e9 Prevent PR assignments to
@matthiaskrgr,@giraffate, and@Centri3rust-lang/rust@eecff6d07b Auto merge of #12439 - Jacherr:issue-12185, r=blyxyas
rust-lang/rust@42d09703b4 Add support for ICE reporting in lintcheck
rust-lang/rust@d4a8f61eb3 Use check_attributes in doc lints
rust-lang/rust@08dac852a5 Auto merge of #12631 - franciscoBSalgueiro:11738, r=blyxyas
rust-lang/rust@8253040b3f Auto merge of #12591 - y21:issue12585, r=Jarcho
rust-lang/rust@71e02a01a1 use
Lrcinstead of the aliased typeArcdirectlyrust-lang/rust@a73e751d19 Auto merge of #12609 - Alexendoo:arc-with-non-send-sync-message, r=Jarcho
rust-lang/rust@0ae4a048c6 Merge commit '9725c4a162502a02c1c67fdca6b797fe09b2b73c' into clippy-subtree-update
rust-lang/rust@a1e76af295 Rename ModSep to PathSep
rust-lang/rust@d9a8903886 force exhaustion in iter::ArrayChunks::into_remainder
rust-lang/rust@38b8056fc6 Fix: #12268: Correct parentheses for needless_borrow suggestion
rust-lang/rust@ca92c0a7a4 update messages
rust-lang/rust@ac225a3b1f Fix #11738: allow
castlints in macrosrust-lang/rust@ac18c24fe8 Use
IfLetOrMatchto avoid repetition of coderust-lang/rust@b89fa5364f fix: fix ci errors
rust-lang/rust@e36c7d55b6 test: add test cases for str
rust-lang/rust@6f6dd880bc test: update tests
rust-lang/rust@56580406b1 style: fix fmt
rust-lang/rust@9d1f824878 fix: check if receiver's hir_id matches expr's hir_id
rust-lang/rust@b2ea5eef44 fix: incorrect suggestions when
.thenand.then_someis usedrust-lang/rust@6a6a917fe4 Check for
Defaulttrait in initial expressionrust-lang/rust@9d4a36841a Reword
arc_with_non_send_syncnote and help messagesrust-lang/rust@24e1071d21 clippy: fix up
include_str!spans in diagnosticsrust-lang/rust@9f5d31ef86 clear
DefIdwhen an expression's type changes to non-adtrust-lang/rust@9e2c65893d Remove
TargetOptions::default_adjusted_cabirust-lang/rust@f09c19ac3a Introduce perma-unstable
wasm-c-abiflagrust-lang/rust@a333572970 Update rustdoc tests for stability display
rust-lang/rust@00779af94e Always display stability version even if it's the same as the containing item