diff --git a/README.md b/README.md index 0d9f1b4e3da5..794267f77c16 100644 --- a/README.md +++ b/README.md @@ -1,14 +1,10 @@ -# Miri +# Miri [[slides](https://solson.me/miri-slides.pdf)] [[report](https://solson.me/miri-report.pdf)] [![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri) -[[slides](https://solson.me/miri-slides.pdf)] -[[report](https://solson.me/miri-report.pdf)] An experimental interpreter for [Rust][rust]'s [mid-level intermediate representation][mir] (MIR). This project began as part of my work for the undergraduate research course at the [University of Saskatchewan][usask]. -[![Build Status](https://travis-ci.org/solson/miri.svg?branch=master)](https://travis-ci.org/solson/miri) - ## Installing Rust I recommend that you install [rustup][rustup] and then use it to install the