Skip to content

miri subtree update#153909

Open
RalfJung wants to merge 37 commits intorust-lang:mainfrom
RalfJung:miri
Open

miri subtree update#153909
RalfJung wants to merge 37 commits intorust-lang:mainfrom
RalfJung:miri

Conversation

@RalfJung
Copy link
Member

Subtree update of miri to rust-lang/miri@932cb99.

Created using https://github.com/rust-lang/josh-sync.

r? @ghost

RalfJung and others added 30 commits March 4, 2026 15:30
Co-Authored-By: Ralf Jung <post@ralfj.de>
…ation

Clarify `-Zmiri-disable-validation` in the README
explain how to control target features with Miri
This updates the rust-version file to f8704be.
Some setsockopt options are also supported such that a TcpListener from the standard library can be created
…-bind

Add network socket `listen` and `bind` shims
readme(target features): mention RUSTDOCFLAGS
This updates the rust-version file to c7b206b.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: c7b206b
Filtered ref: 07362e5bdd8a7c712a594f35c9100c6149bcdf43
Upstream diff: rust-lang/rust@f8704be...c7b206b

This merge was created using https://github.com/rust-lang/josh-sync.
…ptrs

native calls: more gracefully handle function pointers with unsupported types
use the unstable `carryless_mul` in the `pclmul` implementation
This updates the rust-version file to 2d76d9b.
This updates the rust-version file to d1ee5e5.
@rustbot
Copy link
Collaborator

rustbot commented Mar 15, 2026

The Miri subtree was changed

cc @rust-lang/miri

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 15, 2026
@RalfJung
Copy link
Member Author

@bors r+

@rust-bors
Copy link
Contributor

rust-bors bot commented Mar 15, 2026

📌 Commit 2230a0a has been approved by RalfJung

It is now in the queue for this repository.

@rust-bors rust-bors bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 15, 2026
@RalfJung
Copy link
Member Author

@bors p=1

Zalathar added a commit to Zalathar/rust that referenced this pull request Mar 15, 2026
rust-bors bot pushed a commit that referenced this pull request Mar 15, 2026
Rollup of 2 pull requests

Successful merges:

 - #153909 (miri subtree update)
 - #153896 ([tiny] Tweak "use of `Deref`" suggestion message)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants