1 file changed
+1
-1
lines changed- Cargo.toml-2
- README.md+3
- rust-version+1-1
- src/eval.rs+10-11
- src/helpers.rs+69-14
- src/intptrcast.rs+8-3
- src/lib.rs+4-3
- src/machine.rs+91-48
- src/operator.rs+38-22
- src/range_map.rs+2-5
- src/shims/dlsym.rs+55
- src/shims/foreign_items.rs+129-177
- src/shims/intrinsics.rs+14-40
- src/shims/mod.rs+49
- src/shims/tls.rs+22-13
- src/stacked_borrows.rs+7-2
- test-cargo-miri/Cargo.lock+11-47
- tests/compile-fail/ptr_offset_int_plus_int.rs+1-1
- tests/compile-fail/thread-spawn.rs+7
- tests/compiletest.rs+7-4
- tests/run-pass-noseed/hashmap.rs
- tests/run-pass-noseed/heap_allocator.rs+3-3
- tests/run-pass-noseed/intptrcast.rs+26
- tests/run-pass-noseed/malloc.rs+9
- tests/run-pass/intptrcast.rs-14
- tests/run-pass/intptrcast_format.rs-6
- tests/run-pass/intptrcast_format.stdout-2
- tests/run-pass/move-undef-primval.rs+2
- tests/run-pass/mpsc.rs+5
- tests/run-pass/transmute_fat.rs+3
0 commit comments