aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
...
* 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
* Remove *Display.vo from, e.g., selected-specificGravatar Jason Gross2017-10-15
* Add targets for no-curves-proofs-non-specific, and selected-specific,Gravatar Jason Gross2017-10-11
* Factor out -w "-notation-overridden" in MakefileGravatar Jason Gross2017-10-10
* More Makefile factoringGravatar Jason Gross2017-10-10
* Update Makefile by deduplicating some file listsGravatar Jason Gross2017-10-10
* Fix printenv sed script in Makefile for Windows supportGravatar Jason Gross2017-10-06
* Fix the printlite targetGravatar Jason Gross2017-10-06
* Add BITWIDTH=64 to extract-function.sh rule in MakefileGravatar Jason Gross2017-09-27
* Add curve25519-donna-c64 to etc/third_partyGravatar Jason Gross2017-09-27
* Add femul,fesqure for C32Gravatar Jason Gross2017-09-21
* Update extract-function.sh for inline asmGravatar Jason Gross2017-09-12
* benchmark NISTZ256 with and without adxGravatar Andres Erbsen2017-07-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-27 21:01:50 +0000