Skip to content

Miri: let machine hook dynamically decide about alignment checks#71101

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-alignment-check
Apr 13, 2020

Commits

Commits on Apr 13, 2020