aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* git rm -rf src/AssemblyGravatar Andres Erbsen2017-04-06
* remove obsolete content from readmeGravatar Andres Erbsen2017-04-03
* Remove coqprime-8.4Gravatar Jason Gross2017-04-02
* Add instructions on building to READMEGravatar Jason Gross2016-11-15
* If COQPATH is not set, set it by default (#38)Gravatar Jason Gross2016-07-25
* Make Coq 8.5 the default target for Fiat-CryptoGravatar Jason Gross2016-06-22
* Add travis build status indicatorGravatar Jason Gross2016-06-20
* readme typoGravatar Andres Erbsen2016-06-20
* readme: dont say things I am not sure ofGravatar Andres Erbsen2016-06-20
* Update README so it's good for both github.com and github.mit.eduGravatar Jason Gross2016-06-15
* Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
* Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
* Import coqprime; use it to prove Euler's criterion.Gravatar Jade Philipoom2016-01-20
* remove fiat dependencyGravatar Andres Erbsen2016-01-16
* init our centralized repoGravatar Robert Sloan2015-09-10
* Initial commitGravatar Robert Sloan2015-09-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 06:03:02 +0000