| .. |
|
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
|
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 |
