We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8cac01a commit 3ae75f3Copy full SHA for 3ae75f3
README.md
@@ -1,5 +1,8 @@
1
# Miri
2
3
+[[slides](https://solson.me/miri-slides.pdf)]
4
+[[report](https://solson.me/miri-report.pdf)]
5
+
6
An experimental interpreter for [Rust][rust]'s [mid-level intermediate
7
representation][mir] (MIR). This project began as a part of my course work for
8
an undergraduate research course at the [University of Saskatchewan][usask].
0 commit comments