Permalink
Please
sign in to comment.
Submodule miri
updated
23 files
| +61 −127 | Cargo.lock | |
| +1 −1 | Cargo.toml | |
| +0 −5 | miri | |
| +1 −1 | rust-version | |
| +39 −13 | src/bin/cargo-miri.rs | |
| +8 −6 | src/eval.rs | |
| +7 −9 | src/machine.rs | |
| +3 −6 | src/shims/dlsym.rs | |
| +8 −9 | src/shims/foreign_items.rs | |
| +13 −14 | src/shims/intrinsics.rs | |
| +5 −6 | src/shims/mod.rs | |
| +1 −4 | src/shims/panic.rs | |
| +1 −1 | tests/compile-fail/stacked_borrows/deallocate_against_barrier2.rs | |
| +48 −20 | tests/run-pass/catch_panic.rs | |
| +9 −0 | tests/run-pass/catch_panic.stderr | |
| +36 −0 | tests/run-pass/coerce_non_capture_closure_to_fn_ptr.rs | |
| +0 −0 | tests/run-pass/coercions.rs | |
| +0 −0 | tests/run-pass/fat_ptr.rs | |
| +0 −20 | tests/run-pass/non_capture_closure_to_fn_ptr.rs | |
| +0 −4 | tests/run-pass/panic1.rs | |
| +0 −1 | tests/run-pass/panic1.stderr | |
| +0 −5 | tests/run-pass/panic2.rs | |
| +0 −1 | tests/run-pass/panic2.stderr |
0 comments on commit
9e940f0