Skip to content

Commit

Permalink
bump Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Mar 31, 2020
1 parent a80ec3b commit 6073c77
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 39 files
+1 −1 CONTRIBUTING.md
+1 −1 README.md
+3 −7 benches/helpers/miri_helper.rs
+1 −0 miri
+1 −1 rust-version
+5 −7 src/bin/miri-rustc-tests.rs
+4 −9 src/bin/miri.rs
+2 −0 src/diagnostics.rs
+12 −9 src/eval.rs
+27 −284 src/helpers.rs
+2 −1 src/intptrcast.rs
+4 −5 src/lib.rs
+36 −17 src/machine.rs
+5 −3 src/operator.rs
+1 −1 src/range_map.rs
+1 −1 src/shims/dlsym.rs
+237 −23 src/shims/env.rs
+21 −20 src/shims/foreign_items.rs
+74 −111 src/shims/foreign_items/posix.rs
+53 −26 src/shims/foreign_items/posix/linux.rs
+34 −36 src/shims/foreign_items/posix/macos.rs
+96 −69 src/shims/foreign_items/windows.rs
+12 −5 src/shims/fs.rs
+7 −12 src/shims/intrinsics.rs
+7 −4 src/shims/mod.rs
+268 −0 src/shims/os_str.rs
+5 −3 src/shims/panic.rs
+77 −7 src/shims/tls.rs
+7 −3 src/stacked_borrows.rs
+1 −1 tests/compile-fail/environ-gets-deallocated.rs
+0 −1 tests/compile-fail/memleak.rs
+0 −1 tests/compile-fail/memleak_rc.rs
+5 −2 tests/run-pass/arrays.rs
+4 −3 tests/run-pass/current_dir.rs
+0 −1 tests/run-pass/env-exclude.rs
+0 −1 tests/run-pass/env-without-isolation.rs
+0 −2 tests/run-pass/env.rs
+102 −31 tests/run-pass/floats.rs
+18 −1 tests/run-pass/fs.rs

0 comments on commit 6073c77

Please sign in to comment.