about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2019-10-30 21:03:19 +0100
committerRalf Jung <post@ralfj.de>2019-10-31 07:50:27 +0100
commit64cf596ca67a60022765f6f8ad9ddb28fdbf5a0f (patch)
tree447f0f65cb6c0e35c084c19bdf5606d611aeffb8
parent2f16be42dd64669b784559e98662d9712ce13fab (diff)
downloadrust-64cf596ca67a60022765f6f8ad9ddb28fdbf5a0f.tar.gz
rust-64cf596ca67a60022765f6f8ad9ddb28fdbf5a0f.zip
update miri
-rw-r--r--Cargo.lock16
m---------src/tools/miri14
2 files changed, 15 insertions, 15 deletions
diff --git a/Cargo.lock b/Cargo.lock
index 9119af12667..62a0f9d6398 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -285,7 +285,7 @@ dependencies = [
  "crypto-hash",
  "curl",
  "curl-sys",
- "env_logger 0.7.0",
+ "env_logger 0.7.1",
  "failure",
  "filetime",
  "flate2",
@@ -552,7 +552,7 @@ name = "compiletest"
 version = "0.0.0"
 dependencies = [
  "diff",
- "env_logger 0.7.0",
+ "env_logger 0.7.1",
  "getopts",
  "lazy_static 1.3.0",
  "libc",
@@ -974,9 +974,9 @@ dependencies = [
 
 [[package]]
 name = "env_logger"
-version = "0.7.0"
+version = "0.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "39ecdb7dd54465526f0a56d666e3b2dd5f3a218665a030b6e4ad9e70fa95d8fa"
+checksum = "44533bbbb3bb3c1fa17d9f2e4e38bbbaf8396ba82193c4cb1b6445d711445d36"
 dependencies = [
  "atty",
  "humantime",
@@ -2147,13 +2147,13 @@ name = "miri"
 version = "0.1.0"
 dependencies = [
  "byteorder",
- "cargo_metadata 0.8.0",
+ "cargo_metadata 0.9.0",
  "colored",
  "compiletest_rs",
  "directories",
- "env_logger 0.6.2",
+ "env_logger 0.7.1",
  "getrandom",
- "hex 0.3.2",
+ "hex 0.4.0",
  "log",
  "num-traits",
  "rand 0.7.0",
@@ -3490,7 +3490,7 @@ dependencies = [
 name = "rustc_driver"
 version = "0.0.0"
 dependencies = [
- "env_logger 0.7.0",
+ "env_logger 0.7.1",
  "graphviz",
  "lazy_static 1.3.0",
  "log",
diff --git a/src/tools/miri b/src/tools/miri
-Subproject d9ae0285169e52050416fb3618f05b5fdf582b6
+Subproject d4e4fe71e6a9568f5d081d99f1c621c5a4ddd7d