miri subtree update #147636
Open
miri subtree update #147636
+3,731
−704
Conversation
This file contains hidden or 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
Use `rustc-josh-sync` merge commit message for pull PR description
- Implement support for 'assume' statements. - Improve scheduling and next instruction type determination. - Improve GenMC mode documentation. Co-authored-by: Ralf Jung <post@ralfj.de>
Improve GenMC mode scheduling and add assume statements
This updates the rust-version file to b733736.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: b733736 Filtered ref: 62d76e7793dfad401d4a82041e6c587b4eef0854 Upstream diff: rust-lang/rust@f6092f2...b733736 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
silence unused import error
…nerating addresses
alloc_addresses: track more explicitly whether we are in charge of generating addresses
This updates the rust-version file to 848e674.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 848e674 Filtered ref: 8a7a804ec197b593f553a523e3f76baf5fd56d0e Upstream diff: rust-lang/rust@b733736...848e674 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to f957826.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: f957826 Filtered ref: 60bcfdb370a3bae71714fc99a88aa9f2d2892733 Upstream diff: rust-lang/rust@848e674...f957826 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
…racking must be disabled. Remove hacks for keeping all memory allocations in GenMC mode.
Implement Pointer conversions to and from GenMC.
genmc: bail out for non-64bit-little-endian targets
This updates the rust-version file to 29b7717.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 29b7717 Filtered ref: fb4b6388017a4b5fa9806863ffe33ed23df840d4 Upstream diff: rust-lang/rust@f957826...29b7717 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
…n GenMC mode. Remove atomic initialization dummy writes from tests.
…mixing Add support for temporal mixing of atomic and non-atomic accesses in GenMC mode
deduplicate warnings globally
Implement std::sync::Mutex interception for GenMC mode.
Signed-off-by: vishruth-thimmaiah <vishruththimmaiah@gmail.com>
This updates the rust-version file to 4fd3181.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 4fd3181 Filtered ref: ee72bb093dfd84655bc02a8ee4b65327b14cecb3 Upstream diff: rust-lang/rust@3b8665c...4fd3181 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
Signed-off-by: vishruth-thimmaiah <vishruththimmaiah@gmail.com>
feat: add support for libc::memset
readme: document how to directly invoke the driver
remove a bunch of unnecessary 'pub' from tests
native-lib args: also reject wide pointers
This updates the rust-version file to 36e4f5d.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 36e4f5d Filtered ref: ebb8df69f0a82b8a19e4f4b3cd32436022de4fa0 Upstream diff: rust-lang/rust@4fd3181...36e4f5d This merge was created using https://github.com/rust-lang/josh-sync.
|
The Miri subtree was changed cc @rust-lang/miri |
rustbot
added
the
S-waiting-on-review
|
@bors r+ |
bors
added
S-waiting-on-bors
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Oct 13, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@47d6568. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
|
@bors p=1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
7 participants
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.
Subtree update of
mirito rust-lang/miri@47d6568.Created using https://github.com/rust-lang/josh-sync.
r? @ghost