summaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAgeFilesLines
* docs: Style fixes for the READMEEmmanuele Bassi2018-08-301-9/+9
* docs: Link to the dependenciesEmmanuele Bassi2018-08-301-6/+6
* README.md: notes on how to specify build options and run the test suiteFederico Mena Quintero2018-06-011-0/+21
* docs: Update the licensing section of the READMEEmmanuele Bassi2018-05-301-2/+2
* docs: Fill out the README fileEmmanuele Bassi2018-04-301-0/+70