aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* Don't include extraction .vo files in the all targetGravatar Jason Gross2019-04-11
* sed s'/RewriterProofs/RewriterAll/g'Gravatar Jason Gross2019-04-11
* fix Makefile (old Arithmetic.v was hardcoded as a target)Gravatar jadep2019-04-03
* Only write to .c files on successGravatar Jason Gross2019-03-07
* Rename p484_64.c to p434_64.c (fix typo)Gravatar Daniel Hirche2019-02-11
* Add better computation of carry chainGravatar Jason Gross2019-01-26
* remove reference to Toplevel2 in MakefileGravatar jadep2019-01-17
* Comment out a slow .c fileGravatar Jason Gross2019-01-14
* Autocompute s and c in WBW MontgomeryGravatar Jason Gross2019-01-14
* Move ALL_C_FILES above c-filesGravatar Jason Gross2019-01-13
* Makefile: remove *CURVES_PROOFS*Gravatar Andres Erbsen2019-01-11
* remove redundant travis CI stagesGravatar Andres Erbsen2019-01-10
* remove old pipelineGravatar Andres Erbsen2019-01-09
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
* Add another early travis stageGravatar Jason Gross2018-11-02
* Add coq-without-new-pipelineGravatar Jason Gross2018-10-02
* Improve documentation of binariesGravatar Jason Gross2018-09-11
* Display output extensions with TIMED=1Gravatar Jason Gross2018-08-30
* Fix a typo in the previous commitGravatar Jason Gross2018-08-24
* Add util target as a sort of common targetGravatar Jason Gross2018-08-24
* Bump bbvGravatar Jason Gross2018-08-24
* Add some makefile targets for Coq's CIGravatar Jason Gross2018-08-23
* Split up new-pipeline moreGravatar Jason Gross2018-08-13
* Split up rewrite rules proofs into multiple filesGravatar Jason Gross2018-08-13
* Move new-pipeline to its own stageGravatar Jason Gross2018-08-04
* User TIMER_FULL for .ml, .hs, compiled filesGravatar Jason Gross2018-07-24
* Add some primes to be synthesizedGravatar Jason Gross2018-07-21
* Montgomery reduction in new pipelineGravatar Jason Gross2018-07-21
* Allow building with an external coqprimeGravatar Jason Gross2018-07-21
* Work around coqprime issuesGravatar Jason Gross2018-07-21
* Remove another thing from the lite targetGravatar Jason Gross2018-07-03
* Synthesize selectznzGravatar Jason Gross2018-07-03
* Synthesize moreGravatar Jason Gross2018-07-03
* WIPGravatar Jason Gross2018-07-03
* Fix sed scripts in MakefileGravatar Jason Gross2018-06-28
* Be more aggressive about removing \rGravatar Jason Gross2018-06-19
* Make COQPATH in Makefile work on Windows / cygwinGravatar Jason Gross2018-06-19
* New pipeline, split among filesGravatar Jason Gross2018-06-17
* Add more files to nobigmemGravatar Jason Gross2018-05-15
* Fix a bug in previous commitGravatar Jason Gross2018-05-15
* Add nobigmem target for Coq's ciGravatar Jason Gross2018-05-15
* Don't allow coqprime and coqprime-all to run in parallelGravatar Jason Gross2018-04-30
* Only install files built by the coq targetGravatar Jason Gross2018-04-30
* Add a coqprime-all target to build all of coqprimeGravatar Jason Gross2018-04-30
* Fix the lite-display targetGravatar Jason Gross2018-04-20
* Add COQLIBS to display targetsGravatar Jason Gross2018-04-18
* Error if a display target failsGravatar Jason Gross2018-04-18
* Add a lite-display targetGravatar Jason Gross2018-04-15
* coqprime in COQPATH (closes #269)Gravatar Andres Erbsen2018-02-24
* Fix no-curves-proofs-non-specific targetGravatar Jason Gross2018-02-11