1 file changed
+1
-1
lines changed- README.md+14-5
- rust-version+1-1
- src/bin/miri.rs+17-37
- src/diagnostics.rs+4-3
- src/eval.rs+13-3
- src/lib.rs+1-1
- src/machine.rs+9-4
- src/shims/mod.rs+18-17
- src/shims/posix/fs.rs+35-34
- tests/compile-fail/unaligned_pointers/alignment.rs+6-4
- tests/compile-fail/unaligned_pointers/atomic_unaligned.rs+2-1
- tests/compile-fail/unaligned_pointers/dyn_alignment.rs+13-11
- tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.rs+8-5
- tests/compile-fail/unaligned_pointers/reference_to_packed.rs+8-6
- tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs+6-4
- tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs+3-1
- tests/compile-fail/unaligned_pointers/unaligned_ptr3.rs+7-6
- tests/compile-fail/unaligned_pointers/unaligned_ptr_addr_of.rs+7-5
- tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs+6-5
- tests/run-pass/align.rs+25
- tests/run-pass/align_offset_symbolic.rs+2
- tests/run-pass/align_offset_symbolic.stdout
- tests/run-pass/panic/catch_panic.rs+4-1
- tests/run-pass/panic/catch_panic.stderr+12-12
0 commit comments