aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* sed s'/RewriterProofs/RewriterAll/g'Jason Gross2019-04-11
* Update README.md with new structure of the rewriterJason Gross2019-04-11
* Add back build status indicator to README.mdJason Gross2019-03-04
* link to papers in readmeAndres Erbsen2019-01-10
* fix typo in README.mdAndres Erbsen2019-01-10
* remove old pipelineAndres Erbsen2019-01-09
* move src/Experiments/NewPipeline/ to src/Andres Erbsen2019-01-09
* Update build instructions regarding submodules, installJason Gross2018-09-11
* Improve documentation of binariesJason Gross2018-09-11
* Add some documentation to README about the new pipelineJason Gross2018-09-11
* README: note remake_curves.sh is in Specific/CurveParametersGeorge Tankersley2018-08-09
* Update README.mdJason Gross2017-11-15
* Update README.mdJason Gross2017-11-15
* Update README.mdJason Gross2017-11-15
* Update README.mdJason Gross2017-11-15
* README: recommend against Coq 8.5Andres Erbsen2017-07-07
* git rm -rf src/AssemblyAndres Erbsen2017-04-06
* remove obsolete content from readmeAndres Erbsen2017-04-03
* Remove coqprime-8.4Jason Gross2017-04-02
* Add instructions on building to READMEJason Gross2016-11-15
* If COQPATH is not set, set it by default (#38)Jason Gross2016-07-25
* Make Coq 8.5 the default target for Fiat-CryptoJason Gross2016-06-22
* Add travis build status indicatorJason Gross2016-06-20
* readme typoAndres Erbsen2016-06-20
* readme: dont say things I am not sure ofAndres Erbsen2016-06-20
* Update README so it's good for both github.com and github.mit.eduJason Gross2016-06-15
* Add coqprime that works with 8.5, bundle bedrockJason Gross2016-06-10
* Update build process to use COQPATH & _CoqProjectJason Gross2016-02-05
* Import coqprime; use it to prove Euler's criterion.Jade Philipoom2016-01-20
* remove fiat dependencyAndres Erbsen2016-01-16
* init our centralized repoRobert Sloan2015-09-10
* Initial commitRobert Sloan2015-09-10