miri native-call support: all previously exposed provenance is accessible to the callee#137802

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:miri-native-call-exposed

Mar 7, 2025

+125-64

Commits on Feb 28, 2025

miri native-call support: all previously exposed provenance is accessible to the callee
RalfJung
committed
use fixed-width integer types in C code
RalfJung
committed