This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1 file changed
+1
-1
lines changed- Cargo.lock+55-49
- README.md+4
- benches/helpers/miri_helper.rs+1-10
- rust-version+1-1
- src/bin/miri-rustc-tests.rs+2-20
- src/bin/miri.rs+25-10
- src/diagnostics.rs+5-1
- src/eval.rs+20-1
- src/lib.rs+1
- src/machine.rs+35-15
- src/shims/env.rs+48-4
- src/shims/foreign_items.rs+35-38
- src/shims/foreign_items/posix/macos.rs+5
- src/shims/fs.rs+4-4
- src/shims/intrinsics.rs+20-21
- src/shims/mod.rs+17-17
- src/shims/panic.rs+88-83
- tests/compile-fail/abort-terminator.rs+9
- tests/compile-fail/environ-gets-deallocated.rs+24
- tests/compile-fail/exact_div4.rs+2-2
- tests/compile-fail/never_transmute_humans.rs+1-1
- tests/compile-fail/ptr_offset_overflow.rs+1-1
- tests/compile-fail/slice-too-big.rs+1-2
- tests/compile-fail/unchecked_div1.rs+1-1
- tests/run-pass/align_offset.rs+3-3
- tests/run-pass/clock.rs+7-1
- tests/run-pass/env.rs+19-2
- tests/run-pass/env.stdout+14
- tests/run-pass/fs.rs+5-1
- tests/run-pass/integer-ops.rs+4-7
- tests/run-pass/ints.rs+4-4
- tests/run-pass/panic/catch_panic.rs+70-17
- tests/run-pass/panic/catch_panic.stderr+29-11
- tests/run-pass/panic/overflowing-rsh-2.rs+1-1
- tests/run-pass/pointers.rs-2
- tests/run-pass/ptr_arith_offset_overflow.rs+2-2
- tests/run-pass/ptr_int_casts.rs+1-1
- tests/run-pass/transmute_fat2.rs
- tests/run-pass/transmute_fat2.stderr
- tests/run-pass/u128.rs+2-2
0 commit comments