aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* run some benchmarksGravatar Andres Erbsen2017-11-03
* benchmarks build WIPGravatar Andres Erbsen2017-11-02
* Add fibe targetGravatar Jason Gross2017-11-02
* Add makefile targets for gmpvar, gmpsecGravatar Jason Gross2017-11-02
* Pipe output of gmpxx run to log fileGravatar Jason Gross2017-11-02
* Add gmpxx compilationGravatar Jason Gross2017-11-02
* Add generated-py-bench targetGravatar Jason Gross2017-11-02
* autogenerated c files don't have corresponding .h filesGravatar Jason Gross2017-11-02
* Better generation of autogenerated c filesGravatar Jason Gross2017-11-02
* Extract correct bitwidth of functions for c codeGravatar Jason Gross2017-11-02
* Remove NISTP256/AMD128 from lite targetGravatar Jason Gross2017-10-25
* Add a missing line continuation in MakefileGravatar Jason Gross2017-10-24
* Don't build feadd,fesub,fecarry .c filesGravatar Jason Gross2017-10-24
* Add nonautogenerated-specific{,-display} targetsGravatar Jason Gross2017-10-23
* Add FancyMachine256 to selected-specificGravatar Jason Gross2017-10-19
* Don't make autogenerated files in `coq`/default targetGravatar Jason Gross2017-10-18
* Remove x2555-c128 from buildGravatar Jason Gross2017-10-18
* Fix the lite targetGravatar Jason Gross2017-10-18
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Fix Makefile deps with move of IntegrationTestDisplayCommonGravatar Jason Gross2017-10-18
* Fold Karatsuba into json format and synthesisGravatar Jason Gross2017-10-18
* Revert "Add -compat 8.6 to _CoqProject"Gravatar Jason Gross2017-10-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 14:03:17 +0000