| Commit message (Expand) | Author | Age |
... | |
* | 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 |
* | test p256 mixed addition | Andres Erbsen | 2017-07-04 |
* | fix mulx argument order using sed, test feadd, femul (fails due to #234) | Andres Erbsen | 2017-07-03 |
* | X25519 test (passed on first try) | Andres Erbsen | 2017-07-02 |
* | automate P256 integration | Andres Erbsen | 2017-07-02 |
* | make bench: include all benchmarks | Andres Erbsen | 2017-07-01 |
* | benchmark OpenSSL p256 C code | Andres Erbsen | 2017-07-01 |
* | benchmark OpenSSL curve25519 | Andres Erbsen | 2017-07-01 |
* | Add proper dependencies on .h file in Makefile | Jason Gross | 2017-06-29 |
* | Make the same display on windows and linux | Jason Gross | 2017-06-28 |
* | p256 compilation and benchmarks with manual kludges | Andres Erbsen | 2017-06-27 |
* | Drop the two slowest files from the lite target | Jason Gross | 2017-06-26 |
* | add openssl nistz256 for benchmarking | Andres Erbsen | 2017-06-23 |
* | Makefile: c: h | Andres Erbsen | 2017-06-20 |
* | don't key benchmarks on cpu frequency | Andres Erbsen | 2017-06-18 |
* | measurements.txt depends on scripts that generate it | Andres Erbsen | 2017-06-18 |