1 file changed
+1
-1
lines changedDiff for: src/tools/miri
- README.md+9-3
- rust-version+1-1
- src/data_race.rs+34-37
- src/diagnostics.rs+3-5
- src/lib.rs+1-1
- src/machine.rs+2-2
- src/shims/foreign_items.rs+1-1
- src/shims/intrinsics.rs+4-4
- src/vector_clock.rs+2-187
- tests/compile-fail/abort-terminator.rs+1-1
- tests/compile-fail/data_race/release_seq_race_same_thread.rs+50
- tests/compile-fail/intrinsics/uninit_uninhabited_type.rs+1-1
- tests/compile-fail/intrinsics/zero_fn_ptr.rs+1-1
- tests/compile-fail/panic/double_panic.rs+1-1
- tests/compile-fail/panic/panic_abort1.rs+1-1
- tests/compile-fail/panic/panic_abort2.rs+1-1
- tests/compile-fail/panic/panic_abort3.rs+1-1
- tests/compile-fail/panic/panic_abort4.rs+1-1
- tests/compile-fail/stacked_borrows/raw_tracking.rs-1
- tests/run-pass/btreemap.rs-1
- tests/run-pass/concurrency/data_race.rs+3-4
- tests/run-pass/leak-in-static.rs+8
- tests/run-pass/rc.rs-1
- tests/run-pass/stacked-borrows/stacked-borrows.rs-1
- tests/run-pass/vec.rs-1
- tests/run-pass/vecdeque.rs-1
0 commit comments