aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* fix .h dependencies in makefile (closes #235)Gravatar Andres Erbsen2017-07-05
* benchmarking: correct for differences in CPU and TSC frequencyGravatar Andres Erbsen2017-07-05
* use att style assembly with icc, test itGravatar Andres Erbsen2017-07-04
* test p256 mixed additionGravatar Andres Erbsen2017-07-04
* fix mulx argument order using sed, test feadd, femul (fails due to #234)Gravatar Andres Erbsen2017-07-03
* X25519 test (passed on first try)Gravatar Andres Erbsen2017-07-02
* automate P256 integrationGravatar Andres Erbsen2017-07-02
* make bench: include all benchmarksGravatar Andres Erbsen2017-07-01
* benchmark OpenSSL p256 C codeGravatar Andres Erbsen2017-07-01
* benchmark OpenSSL curve25519Gravatar Andres Erbsen2017-07-01
* Add proper dependencies on .h file in MakefileGravatar Jason Gross2017-06-29
* Make the same display on windows and linuxGravatar Jason Gross2017-06-28
* p256 compilation and benchmarks with manual kludgesGravatar Andres Erbsen2017-06-27
* Drop the two slowest files from the lite targetGravatar Jason Gross2017-06-26
* add openssl nistz256 for benchmarkingGravatar Andres Erbsen2017-06-23
* Makefile: c: hGravatar Andres Erbsen2017-06-20
* don't key benchmarks on cpu frequencyGravatar Andres Erbsen2017-06-18
* measurements.txt depends on scripts that generate itGravatar Andres Erbsen2017-06-18
* "make bench", currently just X25519-C64 (closes #185)Gravatar Andres Erbsen2017-06-18
* compile X25519 C code from MakefileGravatar Andres Erbsen2017-06-18
* Don't make curves proofs on travis (hopefully fast enough build)Gravatar Jason Gross2017-06-17
* Fix notation-overriden warning issuesGravatar Jason Gross2017-06-15
* Add -compat 8.6 to _CoqProjectGravatar Jason Gross2017-06-15
* Add a printlite target to display lite filesGravatar Jason Gross2017-06-14
* Error if Makefile.vo_closure doesn't exist and we need itGravatar Jason Gross2017-06-14
* Handle multiple lite-unmade-vofilesGravatar Jason Gross2017-06-12
* Fix lite target (typo in makefile fn call)Gravatar Jason Gross2017-06-12
* Better support for coq_makefile2 with fewer warningsGravatar Jason Gross2017-06-12
* Don't print directory when entering coqprime folderGravatar Jason Gross2017-06-11
* Remove Karatsuba from the lite targetGravatar Jason Gross2017-06-09
* Compatibility with coq_makefile2Gravatar Jason Gross2017-06-01
* Add only-heavy targetGravatar Jason Gross2017-05-18
* specialize squaring earlierGravatar Andres Erbsen2017-05-14
* s/appcontext/context/Gravatar Jason Gross2017-05-11
* Track .dir-locals.el rather than generating itGravatar Jason Gross2017-04-24
* X25519: wrap synthesized code in donna-c64, run SUPERCOP benchmarksGravatar Andres Erbsen2017-04-13
* Makefile fixesGravatar Jason Gross2017-04-09
* Fix printreversedepsGravatar Jason Gross2017-04-09
* Add printreversedepsGravatar Jason Gross2017-04-09
* Display un-interped C codeGravatar Jason Gross2017-04-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 18:03:20 +0000