| Commit message (Expand) | Author | Age |
|---|
| ... | |
| * | 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 |
| * | 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 |
Andres Erbsen
Jason Gross
Jason Gross
Andres Erbsen