index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
X25519
/
C64
Commit message (
Expand
)
Author
Age
*
Generalize phis
Jason Gross
2017-10-07
*
Factor out parameter-specific code
Jason Gross
2017-10-07
*
Factor out some bits of ladderstep preglue
Jason Gross
2017-10-05
*
Add missing tactic in comment in ladderstep
Jason Gross
2017-09-27
*
Add src/Specific/X25519/C32/compiler.sh, update src/Specific/X25519/C64/scala...
Jason Gross
2017-09-27
*
Add curve25519-donna-c64 to etc/third_party
Jason Gross
2017-09-27
*
make bench
Jason Gross
2017-09-12
*
Fix commented out alternate version in ladderstep
Jason Gross
2017-09-05
*
Factor out some of the preglue synthesis code
Jason Gross
2017-07-08
*
make bench
Andres Erbsen
2017-07-06
*
make bench
Jason Gross
2017-07-06
*
benchmark NISTZ256 with and without adx
Andres Erbsen
2017-07-05
*
make bench
Andres Erbsen
2017-07-05
*
make bench
Andres Erbsen
2017-07-04
*
work around GCC issues 81294 and 81300
Andres Erbsen
2017-07-03
*
X25519 test (passed on first try)
Andres Erbsen
2017-07-02
*
automate P256 integration
Andres Erbsen
2017-07-02
*
Use -std=gnu11 for older versions of gcc
Jason Gross
2017-06-28
*
match C code in Jacobian addition
Andres Erbsen
2017-06-27
*
p256 compilation and benchmarks with manual kludges
Andres Erbsen
2017-06-27
*
make bench
Andres Erbsen
2017-06-23
*
make bench
Jason Gross
2017-06-20
*
sed mulx appropriately
Andres Erbsen
2017-06-20
*
make display
Jason Gross
2017-06-18
*
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
*
more sh portability fixes...
Andres Erbsen
2017-06-18
*
sh portability fixes in "make c"
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