This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- Cargo.lock+159-214
- README.md+4-5
- src/eval.rs+1-1
- src/helpers.rs+17-5
- src/shims/foreign_items.rs+33-613
- src/shims/foreign_items/posix.rs+335
- src/shims/foreign_items/posix/linux.rs+106
- src/shims/foreign_items/posix/macos.rs+91
- src/shims/foreign_items/windows.rs+212
- src/shims/fs.rs+110-109
- test-cargo-miri/Cargo.lock+25-25
0 commit comments