Go to file
2016-04-06 19:05:17 -06:00
final-presentation Fix quote kind in slides LaTeX. 2016-04-04 15:46:13 -06:00
src Rename ty_size -> type_size and ty_to_repr -> type_repr. 2016-04-06 19:01:00 -06:00
test Normalize test file modes. 2016-04-06 19:05:17 -06:00
.gitignore Add slides for final presentation. 2016-04-03 23:20:44 -06:00
Cargo.lock WIP: Switching to a new byte-based value representation. 2016-02-27 19:20:25 -06:00
Cargo.toml WIP: Switching to a new byte-based value representation. 2016-02-27 19:20:25 -06:00
LICENSE-APACHE Add licenses and readme. 2016-02-02 04:47:28 -06:00
LICENSE-MIT Add licenses and readme. 2016-02-02 04:47:28 -06:00
README.md Add note about usask research course. 2016-02-10 11:54:22 -06:00

miri

An experimental interpreter for Rust's mid-level intermediate representation (MIR). This project is part of my course work for an undergraduate research course at the University of Saskatchewan.

License

Licensed under either of

Contribution

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.