README.md

   1 # miri
   2
   3 An experimental interpreter for [Rust][rust]'s [mid-level
   4 intermediate representation][mir] (MIR).
   5
   6 [rust]: https://www.rust-lang.org
   7 [mir]: https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md
   8
   9 ## License
  10
  11 Licensed under either of
  12   * Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or
  13     http://www.apache.org/licenses/LICENSE-2.0)
  14   * MIT license ([LICENSE-MIT](LICENSE-MIT) or
  15     http://opensource.org/licenses/MIT) at your option.
  16
  17 ### Contribution
  18
  19 Unless you explicitly state otherwise, any contribution intentionally submitted
  20 for inclusion in the work by you shall be dual licensed as above, without any
  21 additional terms or conditions.