From eeb30dbc9758cc3a9f47d30be831777d0afde0b3 Mon Sep 17 00:00:00 2001 From: Scott Olson Date: Sun, 19 Jun 2016 00:08:43 -0600 Subject: [PATCH] Try moving stuff into README header. --- README.md | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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