Miri subtree update#134784

Merged

bors merged 19 commits intorust-lang:masterfrom

RalfJung:miri-sync

Dec 26, 2024

Commits on Dec 18, 2024

add more tests for SC access/fence consistency
RalfJung
committed

Commits on Dec 21, 2024

Commits on Dec 25, 2024

show an error on some invalid flag combinations: TB + permissive provenance; strict provenance + native calls
RalfJung
committed
remove some flags that have been hard errors for a while
RalfJung
committed
we generally make later flags overwrite earlier flags, so remove some logic guarding just against that
RalfJung
committed

Commits on Dec 26, 2024

Merge pull request #4109 from RalfJung/flags
RalfJung
authored