Automatic toolchain upgrade to nightly-2024-04-19 #3150
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 19, 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 <[email protected]>
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this pull request
May 8, 2024
Update Rust toolchain from nightly-2024-04-18 to nightly-2024-04-19 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@becebb3 up to rust-lang/rust@e3181b0.
qinheping
pushed a commit
to qinheping/kani
that referenced
this pull request
May 9, 2024
Update Rust toolchain from nightly-2024-04-18 to nightly-2024-04-19 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@becebb3 up to rust-lang/rust@e3181b0.
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 <[email protected]>
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-18 to nightly-2024-04-19 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@becebb3 up to rust-lang/rust@e3181b0. The log for this commit range is:
rust-lang/rust@e3181b091e Auto merge of #119912 - notriddle:notriddle/reexport-dedup, r=GuillaumeGomez
rust-lang/rust@3412f01749 Auto merge of #123949 - scottmcm:debug-no-means-no-debug-info-when-inlined, r=oli-obk,onur-ozkan
rust-lang/rust@20cf59549f The ICE in 121127 needs debuginfo
rust-lang/rust@b8ac5c0f91 Update src/bootstrap/src/core/builder.rs
rust-lang/rust@90b4c86335 Ensure
[rust] debuginfo-level-stddoesn't change core's MIRrust-lang/rust@6094063c35 Update
checked_opsso 32- and 64-bit gets the same checksrust-lang/rust@d05545c05d At debuginfo=0, don't inline debuginfo when inlining
rust-lang/rust@0e15f5ee8f Auto merge of #124072 - saethlin:less-sysroot-libc-misc, r=jieyouxu
rust-lang/rust@8047fadbf3 Add an exception for windows-msvc
rust-lang/rust@c5de414865 Auto merge of #123144 - dpaoliello:arm64eclib, r=GuillaumeGomez,ChrisDenton,wesleywiser
rust-lang/rust@c25473ff62 Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstrieb
rust-lang/rust@ecd45472f8 Auto merge of #124111 - matthiaskrgr:rollup-cmmkryf, r=matthiaskrgr
rust-lang/rust@5543da9aec Rollup merge of #124100 - dev-ardi:master, r=workingjubilee
rust-lang/rust@90013ff5ad Rollup merge of #124090 - durin42:llvm-19-riscv-feature, r=cuviper
rust-lang/rust@2c7ef79065 Rollup merge of #124064 - Zalathar:otherwise-block, r=Nadrieril
rust-lang/rust@7add0bdf7e Rollup merge of #124047 - Jules-Bertholet:match-ergonomics-cleanups, r=Nadrieril
rust-lang/rust@56f4ac308b Rollup merge of #124041 - GuillaumeGomez:fix-copy-path-button, r=notriddle
rust-lang/rust@0d97669a17 Simplify
static_assert_sizes.rust-lang/rust@b1248bc60d Auto merge of #124046 - matthiaskrgr:one_or_two_more_tests____some_on_top, r=jieyouxu
rust-lang/rust@06335c6532 crashes: add even more tests?!?
rust-lang/rust@5260893724 Auto merge of #122684 - oli-obk:delay_interning_errors_to_after_validaiton, r=RalfJung
rust-lang/rust@9f432d7b44 Auto merge of #124044 - DianQK:update-llvm-18, r=cuviper
rust-lang/rust@9cc9ba5cae fix: make
str::from_raw_parts_mutmutrust-lang/rust@22b704bac4 llvm: update riscv target feature to match LLVM 19
rust-lang/rust@1ebc9efa78 Add GUI test for copy path button
rust-lang/rust@ec754cf201 Fix copy-path button
rust-lang/rust@ce0e27dfa7 Improve
BindingModedoc commentrust-lang/rust@2a4624ddd1 Rename
BindingAnnotationtoBindingModerust-lang/rust@d19e48d79a Store
ByRefinstead ofBindingAnnotationinPatInforust-lang/rust@1567d4d850 Remove libc from more tests
rust-lang/rust@d3c3051995 Move confusing comment about otherwise blocks in
lower_match_treerust-lang/rust@126dcc618d Use less fragile error handling
rust-lang/rust@77fe9f0a72 Validate before reporting interning errors.
rust-lang/rust@8b2a4f8b43 Simplify alloc id mutability check
rust-lang/rust@140c9e10bb Deduplicate logic for checking the mutability of allocations
rust-lang/rust@d87e9636d5 Run the "is this static mutable" logic the same way as in
in_mutable_memoryrust-lang/rust@8c9cba2be7 Validate nested static items
rust-lang/rust@374b7821a5 Update LLVM to 1deeee3
rust-lang/rust@32f5ca4be7 Add support for Arm64EC to the Standard Library
rust-lang/rust@226c77d0a4 rustdoc: add re-export info to RawSearchIndex type def
rust-lang/rust@6bcca5b6a0 Update search_index.rs
rust-lang/rust@7e7a87c667 rustdoc: improve comments based on feedback
rust-lang/rust@f36c5af359 rustdoc-search: single result for items with multiple paths