README.md

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