]> git.lizzy.rs Git - rust.git/blob - README.md
Merge pull request #70 from plietar/patch-1
[rust.git] / README.md
1 # Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri)
2
3
4 An experimental interpreter for [Rust][rust]'s [mid-level intermediate
5 representation][mir] (MIR). This project began as part of my work for the
6 undergraduate research course at the [University of Saskatchewan][usask].
7
8 ## Installing Rust
9
10 I recommend that you install [rustup][rustup] and then use it to install the
11 current Rust nightly version:
12
13 ```sh
14 rustup update nightly
15 ```
16
17 You should also make `nightly` the default version for your Miri directory by
18 running the following command while you're in it. If you don't do this, you can
19 run the later `cargo` commands by prefixing them with `rustup run nightly`.
20
21 ```sh
22 rustup override add nightly
23 ```
24
25 ## Building Miri
26
27 ```sh
28 cargo build
29 ```
30
31 If Miri fails to build, it's likely because a change in the latest nightly
32 compiler broke it. You could try an older nightly with `rustup update
33 nightly-<date>` where `<date>` is a few days or weeks ago, e.g. `2016-05-20` for
34 May 20th. Otherwise, you could notify me in an issue or on IRC. Or, if you know
35 how to fix it, you could send a PR. :smile:
36
37 ## Running tests
38
39 ```sh
40 cargo run tests/run-pass/vecs.rs # Or whatever test you like.
41 ```
42
43 ## Debugging
44
45 You can get detailed, statement-by-statement traces by setting the `MIRI_LOG`
46 environment variable to `trace`. These traces are indented based on call stack
47 depth. You can get a much less verbose set of information with other logging
48 levels such as `warn`.
49
50 ## Contributing and getting help
51
52 Check out the issues on this GitHub repository for some ideas. There's lots that
53 needs to be done that I haven't documented in the issues yet, however. For more
54 ideas or help with running or hacking on Miri, you can contact me (`scott`) on
55 Mozilla IRC in any of the Rust IRC channels (`#rust`, `#rust-offtopic`, etc).
56
57 ## License
58
59 Licensed under either of
60   * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or
61     http://www.apache.org/licenses/LICENSE-2.0)
62   * MIT license ([LICENSE-MIT](LICENSE-MIT) or
63     http://opensource.org/licenses/MIT) at your option.
64
65 ### Contribution
66
67 Unless you explicitly state otherwise, any contribution intentionally submitted
68 for inclusion in the work by you shall be dual licensed as above, without any
69 additional terms or conditions.
70
71 [rust]: https://www.rust-lang.org/
72 [mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md
73 [usask]: https://www.usask.ca/
74 [rustup]: https://www.rustup.rs