2 files changed
+2
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2156 | 2156 | | |
2157 | 2157 | | |
2158 | 2158 | | |
| 2159 | + | |
2159 | 2160 | | |
2160 | 2161 | | |
2161 | 2162 | | |
| |||
- Cargo.lock+1
- Cargo.toml+3-1
- README.md+11-6
- bench-cargo-miri/mse/src/main.rs+1-1
- benches/helpers/miri_helper.rs+1
- rust-version+1-1
- src/bin/cargo-miri.rs+116-73
- src/bin/miri-rustc-tests.rs+7-3
- src/bin/miri.rs+6-1
- src/eval.rs+14-11
- src/helpers.rs+18-19
- src/intptrcast.rs+10-8
- src/lib.rs+14-8
- src/machine.rs+94-64
- src/mono_hash_map.rs+4-4
- src/operator.rs+3-3
- src/shims/env.rs+6-6
- src/shims/foreign_items.rs+1-1
- src/shims/foreign_items/posix.rs+18-3
- src/shims/foreign_items/posix/linux.rs+14
- src/shims/foreign_items/posix/macos.rs+14
- src/shims/foreign_items/windows.rs+2-1
- src/shims/fs.rs+341-1
- src/shims/panic.rs+4-2
- src/stacked_borrows.rs+22-15
- tests/compile-fail/deallocate-bad-alignment.rs+1-1
- tests/compile-fail/deallocate-bad-size.rs+1-1
- tests/compile-fail/deallocate-twice.rs+1-1
- tests/compile-fail/modifying_constants.rs+2-2
- tests/compile-fail/reallocate-bad-size.rs+1-1
- tests/compile-fail/reallocate-change-alloc.rs+1-1
- tests/compile-fail/reallocate-dangling.rs+1-1
- tests/compile-fail/reference_to_packed.rs+2-2
- tests/compile-fail/stack_free.rs+2-2
- tests/compile-fail/static_memory_modification1.rs+2-2
- tests/compile-fail/static_memory_modification2.rs+2-2
- tests/compile-fail/static_memory_modification3.rs+2-2
- tests/compile-fail/validity/cast_fn_ptr1.rs+1-1
- tests/compile-fail/validity/cast_fn_ptr2.rs+1-1
- tests/compile-fail/validity/fn_ptr_offset.rs+1-1
- tests/compile-fail/validity/invalid_bool.rs+1-1
- tests/compile-fail/validity/invalid_char.rs+1-1
- tests/run-pass/fs.rs+40-1
- tests/run-pass/generator.rs+11-2
- tests/run-pass/heap_allocator.rs+7-7
- tests/run-pass/observed_local_mut.rs+2-2
- tests/run-pass/transmute_fat.rs+2-2
0 commit comments