index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
...
*
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
*
"make bench", currently just X25519-C64 (closes #185)
Andres Erbsen
2017-06-18
*
compile X25519 C code from Makefile
Andres Erbsen
2017-06-18
*
Don't make curves proofs on travis (hopefully fast enough build)
Jason Gross
2017-06-17
*
Fix notation-overriden warning issues
Jason Gross
2017-06-15
*
Add -compat 8.6 to _CoqProject
Jason Gross
2017-06-15
*
Add a printlite target to display lite files
Jason Gross
2017-06-14
*
Error if Makefile.vo_closure doesn't exist and we need it
Jason Gross
2017-06-14
*
Handle multiple lite-unmade-vofiles
Jason Gross
2017-06-12
*
Fix lite target (typo in makefile fn call)
Jason Gross
2017-06-12
*
Better support for coq_makefile2 with fewer warnings
Jason Gross
2017-06-12
*
Don't print directory when entering coqprime folder
Jason Gross
2017-06-11
*
Remove Karatsuba from the lite target
Jason Gross
2017-06-09
*
Compatibility with coq_makefile2
Jason Gross
2017-06-01
*
Add only-heavy target
Jason Gross
2017-05-18
*
specialize squaring earlier
Andres Erbsen
2017-05-14
*
s/appcontext/context/
Jason Gross
2017-05-11
*
Track .dir-locals.el rather than generating it
Jason Gross
2017-04-24
*
X25519: wrap synthesized code in donna-c64, run SUPERCOP benchmarks
Andres Erbsen
2017-04-13
*
Makefile fixes
Jason Gross
2017-04-09
*
Fix printreversedeps
Jason Gross
2017-04-09
*
Add printreversedeps
Jason Gross
2017-04-09
*
Display un-interped C code
Jason Gross
2017-04-07
*
Add Display files and targets
Jason Gross
2017-04-07
*
Ladderstep isn't *that* heavy
Jason Gross
2017-04-07
*
Add IntegrationTestLadderstep.v
Jason Gross
2017-04-07
*
Don't duplicate entries when updating _CoqProject
Jason Gross
2017-04-07
*
Clean up coq_makefile invocation
Jason Gross
2017-04-06
*
Add note to makefile
Jason Gross
2017-04-03
*
Add printdeps target to print recursive dependencies of a file
Jason Gross
2017-04-03
*
Remove old reflective pipeline, making way the new
Jason Gross
2017-04-03
[prev]
[next]