This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- .github/workflows/ci.yml+23
- benches/helpers/miri_helper.rs+1-2
- rust-version+1-1
- src/data_race.rs+2-2
- src/diagnostics.rs+4-4
- src/helpers.rs+10-5
- src/machine.rs+48-56
- src/shims/intrinsics.rs+31-5
- src/shims/os_str.rs+7-10
- src/shims/posix/fs.rs+6-4
- src/shims/posix/linux/sync.rs+2-1
- src/stacked_borrows.rs+1-1
- tests/compile-fail/data_race/alloc_read_race.rs+2-1
- tests/compile-fail/data_race/alloc_write_race.rs+3-7
0 commit comments