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

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:interpret-weak-memory

Aug 27, 2024

Commits on Aug 12, 2024

miri weak memory emulation: initialize store buffer only on atomic writes; pre-fill with previous value
RalfJung
committed