| Commit message (Expand) | Author | Age |
... | |
* | 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 |
* | Update extract-function.sh for inline asm | Jason Gross | 2017-09-12 |
* | benchmark NISTZ256 with and without adx | Andres Erbsen | 2017-07-05 |
* | fix .h dependencies in makefile (closes #235) | Andres Erbsen | 2017-07-05 |
* | benchmarking: correct for differences in CPU and TSC frequency | Andres Erbsen | 2017-07-05 |
* | use att style assembly with icc, test it | Andres Erbsen | 2017-07-04 |