]> git.lizzy.rs Git - rust.git/commit
Rename MiriMemoryKind::Env to Runtime
authorTavian Barnes <tavianator@tavianator.com>
Mon, 7 Mar 2022 17:46:53 +0000 (12:46 -0500)
committerTavian Barnes <tavianator@tavianator.com>
Mon, 7 Mar 2022 21:19:03 +0000 (16:19 -0500)
commit0088715411c2fcb3ea36cdbb969fb9966d722320
treed6b781cdf63e41eceebbbb9ffe701e0170bc1c38
parentccaf7206e122b544aa2762f6b42474d8ee545a8a
Rename MiriMemoryKind::Env to Runtime

In preparation to use it for other runtime-internal allocations.
src/data_race.rs
src/machine.rs
src/shims/env.rs
src/stacked_borrows.rs