aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* Support older git ls-filesGravatar Jason Gross2018-02-10
* add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock di...Gravatar Samuel Gruetter2018-02-05
* Add separate targets to build but not run test/benchGravatar Jason Gross2018-01-16
* Move Curves/Weierstrass/Jacobian to curves-proofsGravatar Jason Gross2018-01-09
* @davidben merged Jacobian+affine into Jacobian+JacobianGravatar Andres Erbsen2018-01-09
* Also display timing on .log filesGravatar Jason Gross2017-12-14
* Apparently ln -s is too slow on travis, so we fake it when we're not building...Gravatar Jason Gross2017-12-13
* Fix call to ln -sGravatar Jason Gross2017-12-12
* Fix fast-autogenerated-deps targetGravatar Jason Gross2017-12-12
* Test more synthesis files on travis / liteGravatar Jason Gross2017-12-11
* Add src/Specific/.autgenerated-deps to clean targetGravatar Jason Gross2017-11-26
* Add a target to speed up coqdep with a kludge on travisGravatar Jason Gross2017-11-26
* Add a regenerate-curves targetGravatar Jason Gross2017-11-17
* Makefile: generated-benchmarksGravatar Andres Erbsen2017-11-13
* update remake-curves.sh and MakefileGravatar jadep2017-11-12
* Remove from the lite target the slowest file currently in itGravatar Jason Gross2017-11-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 12:03:20 +0000