Skip to content

Commit

Permalink
Rollup merge of rust-lang#65594 - RalfJung:miri, r=RalfJung
Browse files Browse the repository at this point in the history 
bump miri

Fixes rust-lang#65529
  • Loading branch information
@Centril
Centril authored Oct 19, 2019
2 parents df2c324 + fac34eb commit a9d40b4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 18 files
+2 −1 .appveyor.yml
+2 −1 .travis.yml
+1 −0 README.md
+1 −1 rust-version
+8 −3 src/bin/cargo-miri.rs
+9 −10 src/eval.rs
+47 −6 src/helpers.rs
+1 −0 src/lib.rs
+3 −3 src/machine.rs
+1 −1 src/operator.rs
+15 −21 src/shims/env.rs
+48 −49 src/shims/foreign_items.rs
+59 −59 src/shims/fs.rs
+15 −13 src/shims/intrinsics.rs
+2 −1 src/shims/mod.rs
+100 −0 src/shims/time.rs
+3 −3 src/stacked_borrows.rs
+8 −0 tests/run-pass/clock.rs

0 comments on commit a9d40b4

Please sign in to comment.