1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+2-1
- README.md+74-34
- ci.sh-1
- rust-version+1-1
- src/bin/miri.rs+6-2
- src/data_race.rs+50-44
- src/diagnostics.rs+1-1
- src/eval.rs+21-7
- src/helpers.rs+43-7
- src/intptrcast.rs+120-20
- src/lib.rs+4-3
- src/machine.rs+71-30
- src/shims/dlsym.rs+5-3
- src/shims/foreign_items.rs+3-2
- src/shims/intrinsics.rs+4-3
- src/shims/mod.rs+8-6
- src/shims/panic.rs+4-4
- src/shims/posix/dlsym.rs+4-3
- src/shims/posix/fs.rs+6-3
- src/shims/posix/linux/dlsym.rs+3-2
- src/shims/posix/macos/dlsym.rs+3-2
- src/shims/posix/thread.rs+1-1
- src/shims/tls.rs+3-3
- src/shims/windows/dlsym.rs+3-2
- src/shims/windows/foreign_items.rs+50-3
- src/stacked_borrows.rs+33-32
- src/stacked_borrows/diagnostics.rs+13-27
- test-cargo-miri/Cargo.lock+33
- test-cargo-miri/Cargo.toml+1
- test-cargo-miri/test.cross-target.stdout.ref+3-3
- test-cargo-miri/test.default.stdout.ref+3-3
- test-cargo-miri/test.filter.cross-target.stdout.ref+1-1
- test-cargo-miri/test.filter.stdout.ref+1-1
- test-cargo-miri/test.test-target.stdout.ref+3-2
- test-cargo-miri/tests/test.rs+17-4
- tests/compile-fail/dangling_pointers/null_pointer_deref.rs
- tests/compile-fail/dangling_pointers/null_pointer_deref_zst.rs
- tests/compile-fail/dangling_pointers/null_pointer_write.rs
- tests/compile-fail/dangling_pointers/null_pointer_write_zst.rs
- tests/compile-fail/provenance/ptr_int_unexposed.rs+12
- tests/compile-fail/provenance/ptr_legacy_provenance.rs+21
- tests/compile-fail/provenance/strict-provenance-offset.rs
- tests/compile-fail/provenance/strict_provenance_transmute.rs
- tests/compile-fail/validity/ptr_integer_array_transmute.rs
- tests/compile-fail/validity/ptr_integer_transmute.rs
- tests/compile-fail/validity/too-big-slice.rs
- tests/compile-fail/validity/too-big-unsized.rs
- tests/compile-fail/validity/uninit_float.rs
- tests/compile-fail/validity/uninit_integer.rs
- tests/compile-fail/validity/uninit_integer_signed.rs
- tests/run-pass/atomic-compare-exchange-weak-never-fail.rs+17
- tests/run-pass/concurrency/sync.rs+1-1
- tests/run-pass/hide_stdout.rs+2-1
- tests/run-pass/ptr_int_permissive_provenance.rs+62
- tests/run-pass/track-alloc-1.rs+5
- tests/run-pass/track-alloc-1.stderr+5
0 commit comments