Commit 083be9c
- Cargo.toml+1-1
- README.md+2-1
- cargo-miri/Cargo.toml+1-1
- rust-version+1-1
- src/bin/miri.rs+1
- src/data_race.rs+12-14
- src/diagnostics.rs+2-2
- src/eval.rs+7-9
- src/helpers.rs+9-9
- src/intptrcast.rs+24-32
- src/lib.rs+2-2
- src/machine.rs+142-145
- src/shims/backtrace.rs+5-5
- src/shims/env.rs+16-14
- src/shims/foreign_items.rs+18-20
- src/shims/intrinsics.rs+9-7
- src/shims/mod.rs+2-2
- src/shims/os_str.rs+2-4
- src/shims/panic.rs+3-3
- src/shims/posix/foreign_items.rs+4-4
- src/shims/posix/fs.rs+32-29
- src/shims/posix/linux/foreign_items.rs+7-14
- src/shims/posix/linux/sync.rs+82-20
- src/shims/posix/macos/foreign_items.rs+1-1
- src/shims/posix/thread.rs+27-13
- src/shims/tls.rs+1-1
- src/shims/windows/dlsym.rs+78-4
- src/shims/windows/foreign_items.rs+19-45
- src/stacked_borrows.rs+23-23
- src/sync.rs+18-14
- src/thread.rs+8-8
- tests/compile-fail/fs/unix_open_missing_required_mode.rs+1-1
- tests/compile-fail/fs/unix_open_too_many_args.rs-16
- tests/compile-fail/strict_provenance_transmute.rs+27
- tests/run-pass/btreemap.rs+1-1
- tests/run-pass/concurrency/linux-futex.rs+88-2
- tests/run-pass/concurrency/simple.rs+1-1
- tests/run-pass/concurrency/sync.rs+1-1
- tests/run-pass/concurrency/thread_locals.rs+1-1
- tests/run-pass/partially-uninit.rs+15
- tests/run-pass/rc.rs+1-1
- tests/run-pass/slices.rs+1-1
- tests/run-pass/strings.rs+1-1
- tests/run-pass/vec.rs+1-1
- tests/run-pass/vecdeque.rs+2-2
0 commit comments