rust-lang
diff --git a/‎.travis.yml
Lines changed: 3 additions & 3 deletions b/‎.travis.yml
Lines changed: 3 additions & 3 deletions
diff --git a/‎miri/Cargo.lock
Lines changed: 266 additions & 0 deletions b/‎miri/Cargo.lock
Lines changed: 266 additions & 0 deletions
diff --git a/‎miri/Cargo.toml
Lines changed: 31 additions & 0 deletions b/‎miri/Cargo.toml
Lines changed: 31 additions & 0 deletions
diff --git a/‎src/librustc_mir/interpret/bin/cargo-miri.rs renamed to ‎miri/src/bin/cargo-miri.rs b/‎src/librustc_mir/interpret/bin/cargo-miri.rs renamed to ‎miri/src/bin/cargo-miri.rs
diff --git a/‎src/librustc_mir/interpret/bin/miri.rs renamed to ‎miri/src/bin/miri.rs b/‎src/librustc_mir/interpret/bin/miri.rs renamed to ‎miri/src/bin/miri.rs
diff --git a/‎miri/src/lib.rs
Lines changed: 3 additions & 0 deletions b/‎miri/src/lib.rs
Lines changed: 3 additions & 0 deletions
diff --git a/‎tests/compile-fail-fullmir/undefined_byte_read.rs renamed to ‎miri/tests/compile-fail-fullmir/undefined_byte_read.rs b/‎tests/compile-fail-fullmir/undefined_byte_read.rs renamed to ‎miri/tests/compile-fail-fullmir/undefined_byte_read.rs
diff --git a/‎tests/compile-fail/alignment.rs renamed to ‎miri/tests/compile-fail/alignment.rs b/‎tests/compile-fail/alignment.rs renamed to ‎miri/tests/compile-fail/alignment.rs
diff --git a/‎tests/compile-fail/assume.rs renamed to ‎miri/tests/compile-fail/assume.rs b/‎tests/compile-fail/assume.rs renamed to ‎miri/tests/compile-fail/assume.rs
diff --git a/‎tests/compile-fail/bitop-beyond-alignment.rs renamed to ‎miri/tests/compile-fail/bitop-beyond-alignment.rs b/‎tests/compile-fail/bitop-beyond-alignment.rs renamed to ‎miri/tests/compile-fail/bitop-beyond-alignment.rs
@@ -15,10 +15,10 @@ script:
   xargo/build.sh
 - |
   # Test plain miri
-  cd src/librustc_mir/ && cargo build &&
+  cd miri/ && cargo build &&
   cargo test &&
   cargo install &&
-  cd ../..
+  cd ..
 - |
   # Test cargo miri
   cd cargo-miri-test &&
@@ -27,7 +27,7 @@ script:
   cd ..
 - |
   # and run all tests with full mir
-  cd src/librustc_mir/ && MIRI_SYSROOT=~/.xargo/HOST cargo test && cd ../..
+  cd miri/ && MIRI_SYSROOT=~/.xargo/HOST cargo test && cd ..
 notifications:
   email:
     on_success: never
 
@@ -0,0 +1,31 @@
+[package]
+authors = ["Scott Olson <[email protected]>"]
+description = "An experimental interpreter for Rust MIR."
+license = "MIT/Apache-2.0"
+name = "miri"
+repository = "https://github.com/solson/miri"
+version = "0.1.0"
+
+[[bin]]
+doc = false
+name = "miri"
+test = false
+
+[[bin]]
+doc = false
+name = "cargo-miri"
+test = false
+
+[lib]
+test = false
+
+[dependencies]
+byteorder = { version = "1.1", features = ["i128"]}
+env_logger = "0.3.3"
+log = "0.3.6"
+log_settings = "0.1.1"
+cargo_metadata = "0.2"
+rustc_miri = { path = "../src/librustc_mir" }
+
+[dev-dependencies]
+compiletest_rs = "0.2.6"
@@ -0,0 +1,3 @@
+extern crate rustc_miri;
+
+pub use rustc_miri::interpret::*;
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+extern crate rustc_miri;`
	`2`	`+`
	`3`	`+pub use rustc_miri::interpret::*;`