hyd-dev a789b49e4c Use Lrc instead of Rc in MiriCompilerCalls::config()

2021-07-30 21:28:34 +08:00

..

bin

Use Lrc instead of Rc in MiriCompilerCalls::config()

2021-07-30 21:28:34 +08:00

shims

Move shim argument checks before isolation check

2021-07-24 11:54:55 -07:00

data_race.rs

adjust Miri to Pointer type overhaul

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

diagnostics.rs

Auto merge of #1856 - RalfJung:no-mir, r=RalfJung

2021-07-25 09:50:06 +00:00

eval.rs

Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk

2021-07-27 12:23:56 +00:00

helpers.rs

Fix use of deprecated check_no_isolation in posix fs ops

2021-07-20 08:23:51 -07:00

intptrcast.rs

adjust Miri to Pointer type overhaul

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

lib.rs

adjust Miri to Pointer type overhaul

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

machine.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +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