miri subtree update #148523
Open
miri subtree update #148523
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
simplify AccessRelatedness minor changes fix rel_pos...
…isitor-refactor Refactor TreeVisitor and Access Relatedness.
This updates the rust-version file to c5dabe8.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: c5dabe8 Filtered ref: deb7e877478be6ce428c3b90c685fc431be581fe Upstream diff: rust-lang/rust@292be5c...c5dabe8 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This commit also modifies MiriInterface.hpp so that it is compatible with GenMC's API.
This updates the rust-version file to 5f9dd05.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 5f9dd05 Filtered ref: 0498b26a6ed7daad253a5c38fb8f800c437836f9 Upstream diff: rust-lang/rust@c5dabe8...5f9dd05 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
Use Github URL to fetch GenMC
…track_caller frame
user-relevant span: if no frame is in a local crate, use topmost non-track_caller frame
x86/rounding-error test: add a bit of slack
|
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
Nov 5, 2025
miri subtree update x86/rounding-error is causing spurious test failures. This sync fixes that. --- Subtree update of `miri` to rust-lang/miri@de2a63b. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
matthiaskrgr
added a commit
to matthiaskrgr/rust
that referenced
this pull request
Nov 5, 2025
miri subtree update x86/rounding-error is causing spurious test failures. This sync fixes that. --- Subtree update of `miri` to rust-lang/miri@de2a63b. Created using https://github.com/rust-lang/josh-sync. r? ``@ghost``
bors
added a commit
that referenced
this pull request
Nov 5, 2025
Rollup of 8 pull requests Successful merges: - #147994 (Deduplicate deprecation warning when using unit or tuple structs) - #148440 ([rustdoc search] Simplify itemTypes and filter "dependencies") - #148501 (triagebot: Create Zulip topics for libs backports) - #148517 (Remove no longer necessary lint allow) - #148518 (Unify the configuration of the compiler docs) - #148523 (miri subtree update) - #148525 (Fix ICE from lit_to_mir_constant caused by type error) - #148534 (Merge `Vec::push{,_mut}_within_capacity`) r? `@ghost` `@rustbot` modify labels: rollup
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 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.
x86/rounding-error is causing spurious test failures. This sync fixes that.
Subtree update of
mirito rust-lang/miri@de2a63b.Created using https://github.com/rust-lang/josh-sync.
r? @ghost