This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- README.md+16-8
- cargo-miri/bin.rs+2
- miri+1-1
- rust-version+1-1
- src/bin/miri.rs+3
- src/diagnostics.rs+4
- src/eval.rs+4-10
- src/machine.rs+11-12
- src/range_map.rs+17-13
- src/stacked_borrows.rs+47-44
- tests/compile-fail/stacked_borrows/raw_tracking.rs+13
- tests/run-pass/box-pair-to-vec.rs-28
- tests/run-pass/box.rs+60
- tests/run-pass/box.stdout
- tests/run-pass/dyn-traits.rs+2-1
- tests/run-pass/panic/catch_panic.rs-1
- tests/run-pass/panic/catch_panic.stderr-2
- tests/run-pass/vec.rs+2
- tests/run-pass/vecdeque.rs+2
0 commit comments