This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+1-2
- README.md+7-8
- cargo-miri/miri+3
- miri+3-2
- rust-version+1-1
- src/bin/miri.rs+7-1
- src/eval.rs+2-2
- src/machine.rs+11-7
- src/shims/intrinsics.rs+46
- src/stacked_borrows.rs+5-5
- test-cargo-miri/run-test.py+1-1
- tests/compile-fail/box-cell-alias.rs+1-1
- tests/compile-fail/intrinsics/div-by-zero.rs
- tests/compile-fail/intrinsics/rem-by-zero.rs
- tests/compile-fail/intrinsics/simd-div-by-zero.rs+15
- tests/compile-fail/intrinsics/simd-rem-by-zero.rs+15
- tests/compile-fail/intrinsics/simd-shl-too-far.rs+15
- tests/compile-fail/intrinsics/simd-shr-too-far.rs+15
- tests/compile-fail/stacked_borrows/raw_tracking.rs+1-1
- tests/compile-fail/stacked_borrows/zst_slice.rs+1-1
- tests/run-pass/async-fn.rs+30-12
- tests/run-pass/btreemap.rs+1-1
- tests/run-pass/concurrency/tls_lib_drop_single_thread.rs+1-1
- tests/run-pass/issue-miri-1925.rs+33
- tests/run-pass/overflow_checks_off.rs+18
- tests/run-pass/portable-simd.rs+31
- tests/run-pass/rc.rs+1-1
- tests/run-pass/slices.rs+1-1
- tests/run-pass/stacked-borrows/stacked-borrows.rs+1-1
- tests/run-pass/strings.rs+1-1
- tests/run-pass/vec.rs+1-1
- tests/run-pass/vecdeque.rs+1-1
0 commit comments