This repository was archived by the owner on May 28, 2025. It is now read-only.
1 file changed
+1
-1
lines changed- .gitattributes+5
- rust-version+1-1
- src/diagnostics.rs+108
- src/eval.rs+5-62
- src/helpers.rs+2-2
- src/lib.rs+4
- src/shims/foreign_items.rs+10
- src/shims/fs.rs+55-4
- src/shims/intrinsics.rs+2-2
- src/shims/panic.rs+1-1
- src/stacked_borrows.rs+11-18
- tests/run-pass/fs.rs+19-1
- tests/run-pass/panic/std-panic-locations.rs+45
- travis.sh+6-6
0 commit comments