Skip to content

Commit

Permalink
bump miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Oct 19, 2019
1 parent 9578272 commit fac34eb
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 fac34eb

Please sign in to comment.