1 file changed
+1
-1
lines changed- .travis.yml-2
- CONTRIBUTING.md+6-4
- README.md+9-2
- miri+7
- rust-version+1-1
- src/bin/miri-rustc-tests.rs-4
- src/diagnostics.rs+97-45
- src/eval.rs+2-8
- src/helpers.rs+9-9
- src/lib.rs+3-3
- src/machine.rs+6-1
- src/shims/foreign_items.rs+2-1
- src/shims/foreign_items/posix/macos.rs+4-7
- src/shims/fs.rs+13-13
- src/shims/intrinsics.rs+5-4
- src/shims/mod.rs+8
- src/shims/panic.rs+8
- src/shims/time.rs+30-14
- src/stacked_borrows.rs+19-10
- test-cargo-miri/run-test.py+7
- test-cargo-miri/tests/test.rs+1-1
- tests/compile-fail/abort-terminator.rs+1
- tests/compile-fail/cast_fn_ptr1.rs+2-2
- tests/compile-fail/cast_fn_ptr5.rs+2-2
- tests/compile-fail/copy_null.rs+1-2
- tests/compile-fail/copy_overflow.rs+10
- tests/compile-fail/panic/double_panic.rs+3-1
- tests/compile-fail/panic/windows1.rs+9
- tests/compile-fail/panic/windows2.rs+9
- tests/compile-fail/panic/windows3.rs+10
- tests/compile-fail/write_bytes_null.rs+10
- tests/compile-fail/write_bytes_overflow.rs+9
- tests/run-pass/bitop-beyond-alignment.rs+1-1
- tests/run-pass/clock.rs-14
- tests/run-pass/hashmap.rs+3-7
- tests/run-pass/memchr.rs+1-1
- tests/run-pass/time.rs+18
- travis.sh+26-13
0 commit comments