Repository navigation

miri: support 'promising' alignment for symbolic alignment check - #117840

Merged

bors merged 2 commits into

rust-lang:masterfrom

RalfJung:miri-promise-align

Dec 4, 2023

Merged

miri: support 'promising' alignment for symbolic alignment check#117840
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri-promise-align

Commits on Dec 3, 2023
- miri: support 'promising' alignment for symbolic alignment check
  RalfJung
  committed
  bebba4f
- move calling miri_promise_symbolic_alignment to a shared helper
  RalfJung
  committed
  2a3fcc0