update Miri#114211

Merged

bors merged 18 commits intorust-lang:masterfrom

Jul 29, 2023

Commits on Jul 26, 2023

Preparing for merge from rustc
The Miri Conjob Bot
committed
Merge from rustc
The Miri Conjob Bot
committed
fmt
The Miri Conjob Bot
committed
move nightly cron job a little earlier
RalfJung
committed
sparse registry has been stable for a bit now
RalfJung
committed
move CI var uses after their declaration
RalfJung
committed
Auto merge of #2992 - RalfJung:ci, r=RalfJung
bors
committed
normalize tree borrow diagnostics across targets
RalfJung
committed
Auto merge of #2991 - rust-lang:rustup-2023-07-26, r=RalfJung
bors
committed
fix protectors so that all reads actually commute
Vanille-N
committed
we correctly check that the perm is not lazy when triggering protectors
Vanille-N
committed

Commits on Jul 27, 2023

Commits on Jul 28, 2023

exract a perform_access, check read-read commutation exhaustively
Vanille-N
committed

Commits on Jul 29, 2023