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+1
- rust-version+1-1
- src/bin/cargo-miri.rs+54-14
- src/eval.rs+5-6
- src/helpers.rs+15-6
- src/intptrcast.rs+7-7
- src/lib.rs-2
- src/machine.rs+5-5
- src/operator.rs+28-210
- src/shims/dlsym.rs+2-4
- src/shims/foreign_items.rs+64-53
- src/shims/intrinsics.rs+77-40
- src/shims/tls.rs+5-5
- src/stacked_borrows.rs+12-52
- tests/compile-fail/assume.rs+1-1
- tests/compile-fail/atomic_non_integer_arithmetic.rs-9
- tests/compile-fail/atomic_unaligned.rs+12
- tests/compile-fail/ctlz_nonzero.rs+1-1
- tests/compile-fail/cttz_nonzero.rs+1-1
- tests/compile-fail/dangling_zst_deref.rs+7
- tests/compile-fail/overflowing-unchecked-rsh.rs+1-1
- tests/compile-fail/pointers_to_different_allocations_are_unorderable.rs-7
- tests/compile-fail/ptr_ge_integer.rs-7
- tests/compile-fail/stacked_borrows/buggy_split_at_mut.rs+1-1
- tests/compile-fail/stacked_borrows/return_invalid_mut_option.rs+8-3
- tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.rs+3-2
- tests/compile-fail/stacked_borrows/return_invalid_shr_option.rs+6-2
- tests/compile-fail/stacked_borrows/return_invalid_shr_tuple.rs+3-2
- tests/compiletest.rs+8-3
- tests/run-pass/atomic-access-bool.rs-19
- tests/run-pass/atomic.rs+36-3
- tests/run-pass/intrinsics-math.rs+7
- tests/run-pass/linux-getrandom.rs+17
- tests/run-pass/refcell.rs-33
- tests/run-pass/stacked-borrows/refcell.rs+68
0 commit comments