Go to file
2016-04-07 03:02:02 -06:00
final-presentation Fix quote kind in slides LaTeX. 2016-04-04 15:46:13 -06:00
src Implement drop/deallocation for Box. 2016-04-07 03:02:02 -06:00
test Implement drop/deallocation for Box. 2016-04-07 03:02:02 -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.