bors 955bacc103 Auto merge of #2047 - RalfJung:no-extras, r=RalfJung ...

adjust for MemoryExtra being merged into Machine

The Miri side of https://github.com/rust-lang/rust/pull/95620

2022-04-05 15:14:12 +00:00

..

bin

make strict-provenance imply check-number-validity

2022-04-01 23:59:16 -04:00

shims

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

data_race.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

diagnostics.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

eval.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

helpers.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

intptrcast.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

lib.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

machine.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

mono_hash_map.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

operator.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

range_map.rs

format much of Miri

2021-05-16 11:48:28 +02:00

stacked_borrows.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

sync.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

thread.rs

adjust for MemoryExtra being merged into Machine

2022-04-05 11:11:53 -04:00

vector_clock.rs

fmt: set force_multiline_blocks=true

2021-07-11 14:18:44 +02:00