| Commit message (Expand) | Author | Age |
* | coqprime in COQPATH (closes #269) | Andres Erbsen | 2018-02-24 |
* | Fix no-curves-proofs-non-specific target | Jason Gross | 2018-02-11 |
* | Support older git ls-files | Jason Gross | 2018-02-10 |
* | add bedrock bit vectors library (bbv) as a submodule replacing the Bedrock di... | Samuel Gruetter | 2018-02-05 |
* | Add separate targets to build but not run test/bench | Jason Gross | 2018-01-16 |
* | Move Curves/Weierstrass/Jacobian to curves-proofs | Jason Gross | 2018-01-09 |
* | @davidben merged Jacobian+affine into Jacobian+Jacobian | Andres Erbsen | 2018-01-09 |
* | Also display timing on .log files | Jason Gross | 2017-12-14 |
* | Apparently ln -s is too slow on travis, so we fake it when we're not building... | Jason Gross | 2017-12-13 |
* | Fix call to ln -s | Jason Gross | 2017-12-12 |
* | Fix fast-autogenerated-deps target | Jason Gross | 2017-12-12 |
* | Test more synthesis files on travis / lite | Jason Gross | 2017-12-11 |
* | Add src/Specific/.autgenerated-deps to clean target | Jason Gross | 2017-11-26 |
* | Add a target to speed up coqdep with a kludge on travis | Jason Gross | 2017-11-26 |
* | Add a regenerate-curves target | Jason Gross | 2017-11-17 |
* | Makefile: generated-benchmarks | Andres Erbsen | 2017-11-13 |
* | update remake-curves.sh and Makefile | jadep | 2017-11-12 |
* | Remove from the lite target the slowest file currently in it | Jason Gross | 2017-11-09 |
* | run some benchmarks | Andres Erbsen | 2017-11-03 |
* | benchmarks build WIP | Andres Erbsen | 2017-11-02 |
* | Add fibe target | Jason Gross | 2017-11-02 |
* | Add makefile targets for gmpvar, gmpsec | Jason Gross | 2017-11-02 |
* | Pipe output of gmpxx run to log file | Jason Gross | 2017-11-02 |
* | Add gmpxx compilation | Jason Gross | 2017-11-02 |
* | Add generated-py-bench target | Jason Gross | 2017-11-02 |
* | autogenerated c files don't have corresponding .h files | Jason Gross | 2017-11-02 |
* | Better generation of autogenerated c files | Jason Gross | 2017-11-02 |
* | Extract correct bitwidth of functions for c code | Jason Gross | 2017-11-02 |
* | Remove NISTP256/AMD128 from lite target | Jason Gross | 2017-10-25 |
* | Add a missing line continuation in Makefile | Jason Gross | 2017-10-24 |
* | Don't build feadd,fesub,fecarry .c files | Jason Gross | 2017-10-24 |
* | Add nonautogenerated-specific{,-display} targets | Jason Gross | 2017-10-23 |
* | Add FancyMachine256 to selected-specific | Jason Gross | 2017-10-19 |
* | Don't make autogenerated files in `coq`/default target | Jason Gross | 2017-10-18 |
* | Remove x2555-c128 from build | Jason Gross | 2017-10-18 |
* | Fix the lite target | Jason Gross | 2017-10-18 |
* | Support p256 / montgomery in json format | Jason Gross | 2017-10-18 |
* | Fix Makefile deps with move of IntegrationTestDisplayCommon | Jason Gross | 2017-10-18 |
* | Fold Karatsuba into json format and synthesis | Jason Gross | 2017-10-18 |
* | Revert "Add -compat 8.6 to _CoqProject" | Jason Gross | 2017-10-18 |
* | Remove *Display.vo from, e.g., selected-specific | Jason Gross | 2017-10-15 |
* | Add targets for no-curves-proofs-non-specific, and selected-specific, | Jason Gross | 2017-10-11 |
* | Factor out -w "-notation-overridden" in Makefile | Jason Gross | 2017-10-10 |
* | More Makefile factoring | Jason Gross | 2017-10-10 |
* | Update Makefile by deduplicating some file lists | Jason Gross | 2017-10-10 |
* | Fix printenv sed script in Makefile for Windows support | Jason Gross | 2017-10-06 |
* | Fix the printlite target | Jason Gross | 2017-10-06 |
* | Add BITWIDTH=64 to extract-function.sh rule in Makefile | Jason Gross | 2017-09-27 |
* | Add curve25519-donna-c64 to etc/third_party | Jason Gross | 2017-09-27 |
* | Add femul,fesqure for C32 | Jason Gross | 2017-09-21 |