aboutsummaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
...
* 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
* Add Display files and targetsGravatar Jason Gross2017-04-07
* Ladderstep isn't *that* heavyGravatar Jason Gross2017-04-07
* Add IntegrationTestLadderstep.vGravatar Jason Gross2017-04-07
* Don't duplicate entries when updating _CoqProjectGravatar Jason Gross2017-04-07
* Clean up coq_makefile invocationGravatar Jason Gross2017-04-06
* Add note to makefileGravatar Jason Gross2017-04-03
* Add printdeps target to print recursive dependencies of a fileGravatar Jason Gross2017-04-03
* Remove old reflective pipeline, making way the newGravatar Jason Gross2017-04-03
* Remove everything after the individual reified opsGravatar Jason Gross2017-04-03
* Remove coqprime-8.4Gravatar Jason Gross2017-04-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 05:57:07 +0000