This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+2-2
- Cargo.toml+1-1
- README.md+11-4
- bench-cargo-miri/mse/src/main.rs+1-1
- rust-version+1-1
- rustup-toolchain+2-2
- src/bin/miri.rs+2-1
- src/data_race.rs+3-3
- src/diagnostics.rs+2-4
- src/helpers.rs+16-15
- src/helpers/convert.rs+49
- src/lib.rs+15-2
- src/machine.rs+2-2
- src/range_map.rs+4-8
- src/shims/backtrace.rs+5-5
- src/shims/env.rs+9-9
- src/shims/foreign_items.rs+39-24
- src/shims/intrinsics.rs+43-43
- src/shims/mod.rs+1-1
- src/shims/os_str.rs+1-1
- src/shims/panic.rs+4-4
- src/shims/posix/foreign_items.rs+60-60
- src/shims/posix/fs.rs+13-13
- src/shims/posix/linux/foreign_items.rs+14-16
- src/shims/posix/macos/dlsym.rs+1-1
- src/shims/posix/macos/foreign_items.rs+19-27
- src/shims/posix/thread.rs+1-1
- src/shims/tls.rs+2-2
- src/shims/windows/dlsym.rs+10-10
- src/shims/windows/foreign_items.rs+40-47
- src/stacked_borrows.rs+1-1
- src/sync.rs+1-1
- src/thread.rs+6-6
- tests/compile-fail/data_race/dangling_thread_async_race.rs+1-1
- tests/compile-fail/data_race/dealloc_read_race2.rs+1-1
- tests/compile-fail/data_race/read_write_race_stack.rs+1-1
- tests/compile-fail/data_race/write_write_race_stack.rs+2-2
- tests/compile-fail/erroneous_const.rs+1-1
- tests/compile-fail/panic/double_panic.rs+1-1
- tests/compile-fail/rc_as_ptr.rs+1-1
- tests/compile-fail/type-too-large.rs+6
- tests/run-pass/backtrace-api-v1.rs+2-2
- tests/run-pass/concurrency/data_race.rs+3-3
- tests/run-pass/dyn-arbitrary-self.rs+15-15
- tests/run-pass/intrinsics-x86.rs+22
- tests/run-pass/ptr_offset.rs+1-1
- tests/run-pass/stacked-borrows/2phase.rs-1
- tests/run-pass/stacked-borrows/stacked-borrows.rs+1-1
- tests/run-pass/threadleak_ignored.rs+1-1
- tests/run-pass/vec-matching-fold.rs+4-4
0 commit comments