aboutsummaryrefslogtreecommitdiff
path: root/README.md
Commit message (Expand)AuthorAge
* sed s'/RewriterProofs/RewriterAll/g'Gravatar Jason Gross2019-04-11
* Update README.md with new structure of the rewriterGravatar Jason Gross2019-04-11
* Add back build status indicator to README.mdGravatar Jason Gross2019-03-04
* link to papers in readmeGravatar Andres Erbsen2019-01-10
* fix typo in README.mdGravatar Andres Erbsen2019-01-10
* remove old pipelineGravatar Andres Erbsen2019-01-09
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
* Update build instructions regarding submodules, installGravatar Jason Gross2018-09-11
* Improve documentation of binariesGravatar Jason Gross2018-09-11
* Add some documentation to README about the new pipelineGravatar Jason Gross2018-09-11
* README: note remake_curves.sh is in Specific/CurveParametersGravatar George Tankersley2018-08-09
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* Update README.mdGravatar Jason Gross2017-11-15
* README: recommend against Coq 8.5Gravatar Andres Erbsen2017-07-07
* 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-04-25 07:37:25 +0000