Commit cdc19b0
- CONTRIBUTING.md+8
- README.md+4
- miri+1-1
- rust-version+1-1
- src/bin/miri.rs+7
- src/data_race.rs+3-17
- src/diagnostics.rs+46-6
- src/eval.rs+12-5
- src/helpers.rs+46-14
- src/machine.rs+45-18
- src/shims/foreign_items.rs+4-8
- src/shims/posix/fs.rs+54-6
- src/shims/posix/sync.rs+67-32
- src/shims/windows/dlsym.rs+3-1
- src/shims/windows/sync.rs+22-10
- src/stacked_borrows.rs+161-112
- src/stacked_borrows/diagnostics.rs+274
- src/sync.rs+60
- src/thread.rs+1-1
- tests/compile-fail/erroneous_const2.rs+12
- tests/run-pass/hide_stdout.rs+5
0 commit comments