Commit a05dd06
- benches/helpers/miri_helper.rs+1-2
- cargo-miri/bin.rs+57-35
- cargo-miri/build.rs+1-1
- rust-version+1-1
- rustfmt.toml+2-1
- src/bin/miri.rs+46-33
- src/diagnostics.rs+40-30
- src/eval.rs+9-5
- src/helpers.rs+95-29
- src/intptrcast.rs+1-1
- src/lib.rs+9-13
- src/machine.rs+24-34
- src/range_map.rs+10-3
- src/shims/backtrace.rs+32-24
- src/shims/dlsym.rs+2-1
- src/shims/env.rs+70-35
- src/shims/foreign_items.rs+23-8
- src/shims/intrinsics.rs+149-287
- src/shims/mod.rs+2-2
- src/shims/os_str.rs+41-27
- src/shims/panic.rs+9-12
- src/shims/posix/foreign_items.rs+1-1
- src/shims/posix/fs.rs+189-108
- src/shims/posix/linux/dlsym.rs+2-3
- src/shims/posix/linux/foreign_items.rs+24-16
- src/shims/posix/linux/mod.rs+1-1
- src/shims/posix/linux/sync.rs+24-7
- src/shims/posix/macos/foreign_items.rs+1-2
- src/shims/posix/macos/mod.rs+1-1
- src/shims/posix/mod.rs+1-1
- src/shims/posix/sync.rs+27-22
- src/shims/posix/thread.rs+5-8
- src/shims/time.rs+28-12
- src/shims/tls.rs+29-19
- src/shims/windows/dlsym.rs+1-2
- src/shims/windows/foreign_items.rs+41-19
- src/shims/windows/mod.rs+1-1
- src/shims/windows/sync.rs+12-26
- src/stacked_borrows.rs+40-18
- src/sync.rs+17-30
- src/thread.rs+29-15
- src/vector_clock.rs+1-6
0 commit comments