rust/src
2021-09-02 15:41:10 -07:00
..
bin add support for #[start] 2021-09-02 15:41:10 -07:00
shims rustup 2021-08-30 10:35:34 -04:00
data_race.rs Fix typos “a”→“an” 2021-08-22 16:42:23 +02:00
diagnostics.rs Auto merge of #1856 - RalfJung:no-mir, r=RalfJung 2021-07-25 09:50:06 +00:00
eval.rs add support for #[start] 2021-09-02 15:41:10 -07:00
helpers.rs Fix a typo “an”→“a” 2021-08-22 18:07:01 +02:00
intptrcast.rs adjust Miri to Pointer type overhaul 2021-07-16 10:10:12 +02:00
lib.rs add support for #[start] 2021-09-02 15:41:10 -07:00
machine.rs docify some comments 2021-08-02 17:58:55 +02: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 PointerOutOfBounds change 2021-07-20 13:30:49 +02:00
sync.rs adjust Miri to Pointer type overhaul 2021-07-16 10:10:12 +02:00
thread.rs also ignore 'thread leaks' with -Zmiri-ignore-leaks 2021-07-25 14:21:06 +02:00
vector_clock.rs fmt: set force_multiline_blocks=true 2021-07-11 14:18:44 +02:00