aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
* Add more windows binariesGravatar Jason Gross2018-12-07
* Add windows binariesGravatar Jason Gross2018-12-07
* Refactor/generalize some pipeline definitions/proofsGravatar Jason Gross2018-10-30
* Add more things to .gitignoreGravatar Jason Gross2018-10-25
* Montgomery reduction in new pipelineGravatar Jason Gross2018-07-21
* Update .gitignoreGravatar Jason Gross2018-07-03
* Update .gitignore with *.pyc for various helper scriptsGravatar Jason Gross2018-06-16
* organize .gitignoreGravatar Andres Erbsen2017-12-15
* Add a regenerate-curves targetGravatar Jason Gross2017-11-17
* Remove outdated C128 filesGravatar Jason Gross2017-11-12
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
* Build curve-specific files from jsonGravatar Jason Gross2017-10-18
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
* Update .gitignore with compilation outputsGravatar Jason Gross2017-07-08
* Update .gitignore with things from make benchGravatar Jason Gross2017-06-29
* Better support for coq_makefile2 with fewer warningsGravatar Jason Gross2017-06-12
* Track .dir-locals.el rather than generating itGravatar Jason Gross2017-04-24
* Update .gitignore for Coq 8.6Gravatar Jason Gross2016-09-16
* Update .gitignore for Coq 8.6Gravatar Jason Gross2016-09-16
* Don't depend on the submodule; copy-paste insteadGravatar Jason Gross2016-07-20
* Add a separate non-specific targetGravatar Jason Gross2016-07-20
* Add target for .dir-locals.elGravatar Jason Gross2016-07-20
* Update .gitignoreGravatar Jason Gross2016-07-10
* Add more caches to .gitignore (nra, csdp)Gravatar Jason Gross2016-07-01
* Update .gitignore with lia, nia cachesGravatar Jason Gross2016-07-01
* Update .gitignoreGravatar Jason Gross2016-06-27
* Merge with plv/masterGravatar Robert Sloan2016-06-22
|\
* | nicer verify() derivation starterGravatar Andres Erbsen2016-06-22
* | Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-06-22
| * Add coqprime that works with 8.5, bundle bedrockGravatar Jason Gross2016-06-10
| * Update build process to use COQPATH & _CoqProjectGravatar Jason Gross2016-02-05
|/
* simple refactor of makefile; commentsGravatar varomodt2016-01-09
* Tiny module-system tweaks in PointFormatsGravatar Adam Chlipala2015-10-28
* Got most of the way through new GaloisField codeGravatar Adam Chlipala2015-09-17