Repository navigation

miri subtree update - #148374

Merged

bors merged 36 commits into

rust-lang:masterfrom

RalfJung:miri

Nov 2, 2025

Merged

miri subtree update#148374
bors merged 36 commits into
rust-lang:masterfrom
RalfJung:miri

Commits on Oct 16, 2025
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  258d553
- Merge ref '402ce0ef07d5' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  0784632
- Merge pull request #4637 from rust-lang/rustup-2025-10-16
  RalfJung
  authored
  936dda5
Commits on Oct 22, 2025
- Prepare for merging from rust-lang/rust
  RalfJung
  committed
  736a276
- Merge ref '96fe3c31c2ec' from rust-lang/rust
  RalfJung
  committed
  4dff7b8
- make genmc tests less dependent on std internals
  RalfJung
  committed
  1d00266
- Merge pull request #4640 from RalfJung/rustup
  RalfJung
  authored
  86bb8eb
- Avoid panicking when `Cargo.toml` is not present
  FranciscoTGouveia
  committed
  70aa534
- native_call: we only support thin pointers as return type
  RalfJung
  committed
  424f7bf
- Merge pull request #4644 from RalfJung/native-call-return-ptr
  RalfJung
  authored
  23e3645
Commits on Oct 23, 2025
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  d521a79
- Merge ref '6244effd0372' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  d60d4a5
- Merge pull request #4645 from rust-lang/rustup-2025-10-23
  oli-obk
  authored
  c13da7b
- SB wildcard handling: extend comments
  RalfJung
  committed
  ce35d4c
- Merge pull request #4646 from RalfJung/sb-wildcard-comments
  RalfJung
  authored
  c8c2e17
- Merge pull request #4643 from FranciscoTGouveia/avoid-panic-cargo-toml
  RalfJung
  authored
  b6c7138
Commits on Oct 24, 2025
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  420096d
- Merge ref '27050c0d15af' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  77e7651
- Merge pull request #4649 from rust-lang/rustup-2025-10-24
  oli-obk
  authored
  3c92cf1
Commits on Oct 27, 2025
- add -Zmiri-user-relevant-crates
  RalfJung
  committed
  0c7ff00
- Merge pull request #4651 from RalfJung/user-relevant-crates
  RalfJung
  authored
  80bd9cf
- add miri magic function to configure allocation tracking at runtime
  RalfJung
  committed
  8f70d2d
- Merge pull request #4652 from RalfJung/track-alloc-runtime
  RalfJung
  authored
  9d60a23
Commits on Oct 28, 2025
- Support f32/f64 in native function calls
  FranciscoTGouveia
  committed
  20e0014
- Merge pull request #4650 from FranciscoTGouveia/f32/64-native-func-calls
  RalfJung
  authored
  8fef16e
Commits on Oct 30, 2025
- Prepare for merging from rust-lang/rust
  The Miri Cronjob Bot
  committed
  651076a
- Merge ref '292be5c7c051' from rust-lang/rust
  The Miri Cronjob Bot
  committed
  c351d06
- alloc access tracking: print accessed range
  RalfJung
  committed
  7e0783f
- update comment regarding disabled jobs
  RalfJung
  committed
  8c678cc
- unconditionally use Duration::from_nanos_u128
  RalfJung
  committed
  3048ef2
- Merge pull request #4656 from rust-lang/rustup-2025-10-30
  RalfJung
  authored
  9cb215a
- document -Zmiri-backtrace; dont print backtrace when there's only one frame
  RalfJung
  committed
  04eacd0
- Merge pull request #4657 from RalfJung/tracking-and-backtrace
  RalfJung
  authored
  250ebfa
- weak memory: fix non-atomic read clearing store buffer
  RalfJung
  committed
  20bddb1
- add store buffer initialization sanity check that would have caught the bug
  RalfJung
  committed
  851b10f
Commits on Nov 1, 2025
- Merge pull request #4658 from RalfJung/weak-mem-na-reads
  RalfJung
  authored
  63a18d4

Commits

Commits on Oct 16, 2025

Commits on Oct 22, 2025

Commits on Oct 23, 2025

Commits on Oct 24, 2025

Commits on Oct 27, 2025

Commits on Oct 28, 2025

Commits on Oct 30, 2025

Commits on Nov 1, 2025