Skip to content

miri weak memory emulation: put previous value into initial store buffer#128942

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:interpret-weak-memory
Aug 27, 2024
Merged

miri weak memory emulation: put previous value into initial store buffer#128942
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:interpret-weak-memory

miri weak memory emulation: initialize store buffer only on atomic wr…

8b18c6b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs