An experimental interpreter for Rust's mid-level intermediate representation (MIR). This project began as a part of my course work for an undergraduate research course at the University of Saskatchewan.
I currently recommend that you install multirust and then use it to install the current rustc nightly version that works with Miri:
multirust update nightly-2016-04-05multirust run nightly-2016-04-05 cargo buildmultirust run nightly-2016-04-05 cargo run -- \
--sysroot $HOME/.multirust/toolchains/nightly-2016-04-05 \
test/filename.rsIf you installed without using multirust, you'll need to adjust the command to
run your cargo and set the sysroot to the directory where your rust compiler
is installed ($sysroot/bin/rustc should be a valid path).
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT) at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you shall be dual licensed as above, without any additional terms or conditions.