1 file changed
+1
-1
lines changed- README.md+3
- benches/helpers/miri_helper.rs+6-1
- miri+1-1
- rust-version+1-1
- src/bin/miri-rustc-tests.rs+12-2
- src/bin/miri.rs+9-5
- src/eval.rs+11-5
- src/lib.rs+1
- src/machine.rs+9-4
- src/operator.rs+1-1
- src/shims/env.rs+116
- src/shims/foreign_items.rs+26-75
- src/shims/mod.rs+1
- src/shims/tls.rs+4-4
- tests/compile-fail/deref-invalid-ptr.rs+7
- tests/compile-fail/deref-partially-dangling.rs+8
- tests/compile-fail/intptrcast_alignment_check.rs+3-9
- tests/compile-fail/stacked_borrows/deallocate_against_barrier1.rs
- tests/compile-fail/stacked_borrows/deallocate_against_barrier2.rs+17
- tests/compile-fail/storage_dead_dangling.rs+1-2
- tests/compiletest.rs+3
- tests/run-pass/async-fn.rs+32-28
- tests/run-pass/communication.rs+6
- tests/run-pass/env.rs+2
- tests/run-pass/generator.rs+14-1
- tests/run-pass/intrinsics-math.rs+10-4
- tests/run-pass/ref-invalid-ptr.rs-12
- tests/run-pass/stacked-borrows/stacked-borrows.rs-11
- travis.sh+1
0 commit comments