Ralf Jung 42b144ee8c rustup

2022-01-26 10:54:55 -05:00

..

bin

rename track-raw-pointers flag to tag-raw-pointers

2021-11-13 15:48:27 -05:00

shims

rustup

2022-01-26 10:54:55 -05:00

data_race.rs

Fix typos “a”→“an”

2021-08-22 16:42:23 +02:00

diagnostics.rs

Provide better notes when tracking a pointer tag

2021-12-21 12:15:29 -05:00

eval.rs

adjust for StackPopCleanup::None rename

2022-01-04 11:14:55 +01:00

helpers.rs

rustup

2022-01-09 14:50:03 +01:00

intptrcast.rs

final tweaks

2021-12-05 20:33:20 -05:00

lib.rs

rustc_mir -> rustc_const_eval

2021-09-09 17:36:39 +08:00

machine.rs

rustup

2022-01-03 22:54:58 +01:00

mono_hash_map.rs

…

operator.rs

…

range_map.rs

…

stacked_borrows.rs

exclude mutable references to !Unpin types from uniqueness guarantees

2022-01-01 19:01:46 +01:00

sync.rs

…

thread.rs

also ignore 'thread leaks' with -Zmiri-ignore-leaks

2021-07-25 14:21:06 +02:00

vector_clock.rs

…