miri subtree update #146740
Merged
miri subtree update #146740
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
re-balance CI
- Implement memory allocation compatible with GenMC. - Extract address generator struct from Miri's allocator. - Support thread creation and joining. - Support atomic load and store. - Support scheduling through GenMC. - Add tests for GenMC mode. - Add clang-format file for C++ code in Miri. - Update genmc-sys crate license to MIT/Apache to match GenMC dependency. - Add documentation for GenMC mode. Note: this commit depends on changes to GenMC not yet upstreamed to its official repository. Co-authored-by: Ralf Jung <post@ralfj.de>
Add minimal functionality for using GenMC mode
This updates the rust-version file to 9385c64.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 9385c64 Filtered ref: 80818ce34771a13f1a67a706e7e283ba58bdc460 This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
This updates the rust-version file to b3cfb8f.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: b3cfb8f Filtered ref: 8995aa7743caf019203bc853f27af6006705ae30 Upstream diff: rust-lang/rust@9385c64...b3cfb8f This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
make use of Duration::from_nanos_u128
atomics: unify handling min/max and the other RMWs
atomic rmw intrinsics: RHS must be an integer
- Support for atomic fences. - Support for atomic read-modify-write (RMW). - Add tests using RMW and fences. - Add options: - to disable weak memory effects in GenMC mode. - to print GenMC execution graphs. - to print GenMC output message. - Fix GenMC full rebuild issue and run configure step when commit changes. - Do cleanup. Co-authored-by: Ralf Jung <post@ralfj.de>
Add more features for GenMC mode (RMW, fences, new printing options)
This updates the rust-version file to a09fbe2.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: a09fbe2 Filtered ref: e8da14f32630072c76aeb944454175f4d8266918 This merge was created using https://github.com/rust-lang/josh-sync.
move math shims to their own files, and some refactoring in fixed_float_value
bors
added
S-waiting-on-bors
This comment has been minimized.
This comment has been minimized.
|
PR CI failed: @bors r- |
bors
added
S-waiting-on-author
|
Oh right, we can't use nightly library features any more until they hit the bootstrap beta. :/ |
|
@bors r+ |
bors
added
S-waiting-on-bors
Zalathar
added a commit
to Zalathar/rust
that referenced
this pull request
Sep 19, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@5a14200. Created using https://github.com/rust-lang/josh-sync. r? `@ghost`
bors
added a commit
that referenced
this pull request
Sep 19, 2025
Rollup of 10 pull requests Successful merges: - #146229 (Automatically switch to lto-fat when flag RUSTFLAGS="- Zautodiff=Enable" is set) - #146484 (rustdoc-search: JavaScript optimization based on Firefox Profiler output) - #146541 (std: simplify host lookup) - #146615 (rustc_codegen_llvm: Feature Conversion Tidying) - #146638 (`rustc_next_trait_solver`: canonical out of `EvalCtxt`) - #146663 (Allow windows resource compiler to be overridden) - #146691 (std: Fix WASI implementation of `remove_dir_all`) - #146709 (stdarch subtree update) - #146738 (Fix tidy spellchecking on Windows) - #146740 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
|
@bors p=1 |
rust-timer
added a commit
that referenced
this pull request
Sep 19, 2025
Rollup merge of #146740 - RalfJung:miri, r=RalfJung miri subtree update Subtree update of `miri` to rust-lang/miri@5a14200. Created using https://github.com/rust-lang/josh-sync. r? ``@ghost``
|
@bors retry r- |
bors
added
S-waiting-on-author
github-actions bot
pushed a commit
to rust-lang/miri
that referenced
this pull request
Sep 20, 2025
Rollup of 10 pull requests Successful merges: - rust-lang/rust#146229 (Automatically switch to lto-fat when flag RUSTFLAGS="- Zautodiff=Enable" is set) - rust-lang/rust#146484 (rustdoc-search: JavaScript optimization based on Firefox Profiler output) - rust-lang/rust#146541 (std: simplify host lookup) - rust-lang/rust#146615 (rustc_codegen_llvm: Feature Conversion Tidying) - rust-lang/rust#146638 (`rustc_next_trait_solver`: canonical out of `EvalCtxt`) - rust-lang/rust#146663 (Allow windows resource compiler to be overridden) - rust-lang/rust#146691 (std: Fix WASI implementation of `remove_dir_all`) - rust-lang/rust#146709 (stdarch subtree update) - rust-lang/rust#146738 (Fix tidy spellchecking on Windows) - rust-lang/rust#146740 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
Muscraft
pushed a commit
to Muscraft/rust
that referenced
this pull request
Sep 24, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@5a14200. Created using https://github.com/rust-lang/josh-sync. r? ``@ghost``
Muscraft
pushed a commit
to Muscraft/rust
that referenced
this pull request
Sep 24, 2025
Rollup of 10 pull requests Successful merges: - rust-lang#146229 (Automatically switch to lto-fat when flag RUSTFLAGS="- Zautodiff=Enable" is set) - rust-lang#146484 (rustdoc-search: JavaScript optimization based on Firefox Profiler output) - rust-lang#146541 (std: simplify host lookup) - rust-lang#146615 (rustc_codegen_llvm: Feature Conversion Tidying) - rust-lang#146638 (`rustc_next_trait_solver`: canonical out of `EvalCtxt`) - rust-lang#146663 (Allow windows resource compiler to be overridden) - rust-lang#146691 (std: Fix WASI implementation of `remove_dir_all`) - rust-lang#146709 (stdarch subtree update) - rust-lang#146738 (Fix tidy spellchecking on Windows) - rust-lang#146740 (miri subtree update) r? `@ghost` `@rustbot` modify labels: rollup
github-actions bot
pushed a commit
to model-checking/verify-rust-std
that referenced
this pull request
Oct 9, 2025
miri subtree update Subtree update of `miri` to rust-lang/miri@5a14200. Created using https://github.com/rust-lang/josh-sync. r? ``@ghost``
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
10 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@5a14200.Created using https://github.com/rust-lang/josh-sync.
r? @ghost