index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Add a regenerate-curves target
Jason Gross
2017-11-17
*
Make arguments of InterpLinearize more implicit
Jason Gross
2017-11-17
*
Add Interp{ExprEta,Linearize}_ind
Jason Gross
2017-11-17
*
Update display logs and c files
Jason Gross
2017-11-17
*
Add native_compute evar packages
Jason Gross
2017-11-16
*
Add vm_compute_cbv_evar_package
Jason Gross
2017-11-16
*
Add ModInv autosolver
Jason Gross
2017-11-16
*
change how input data is gathered and tweak tables
jadep
2017-11-16
*
table formatting tweaks
jadep
2017-11-16
*
remove old aggregate file
jadep
2017-11-16
*
krail -> krait
Andres Erbsen
2017-11-16
*
excplicit, sorted list of failures on haswell
Andres Erbsen
2017-11-16
*
clean benchmarks on android
Andres Erbsen
2017-11-16
*
android benchmarking script in new format
Andres Erbsen
2017-11-16
*
actual measurements on Haswell
Andres Erbsen
2017-11-16
*
Update display logs and c files
Jason Gross
2017-11-16
*
clean Haswell benchmarks
Andres Erbsen
2017-11-16
*
build src/Specific/montgomery64_2e510m290x2e496m1_8limbs/femul.c
Andres Erbsen
2017-11-16
*
Update display logs and c files
Jason Gross
2017-11-16
*
make latex tables
jadep
2017-11-15
*
rename a couple files
jadep
2017-11-15
*
change error format on parameter generation script
jadep
2017-11-15
*
remove bad curve25519 representation from benchmark results
jadep
2017-11-15
*
Update crypto-defects.md
Andres Erbsen
2017-11-15
*
Update README.md
Jason Gross
2017-11-15
*
Update README.md
Jason Gross
2017-11-15
*
Update README.md
Jason Gross
2017-11-15
*
Update README.md
Jason Gross
2017-11-15
*
Empty commit with complete build log
Jason Gross
2017-11-15
*
Delete .gitignore
Jason Gross
2017-11-15
*
Add Andres' machine name to the author blacklist
Jason Gross
2017-11-15
*
Also anonymize 'fiat', e.g., in 'fiat_solinas'
Jason Gross
2017-11-15
*
Add Fiat-Crypto to the list of things to be anonymized
Jason Gross
2017-11-15
*
Update display logs and c files
Jason Gross
2017-11-15
*
Add a bunch of missing fesquare files
Jason Gross
2017-11-15
*
build two montgomery files, including 32-bit p256
Andres Erbsen
2017-11-15
*
Add MontgomeryAPI.encode and two lemmas about it
Jason Gross
2017-11-14
*
modify parameter-generation script to raise errors on missing datapoints
jadep
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Add more constant notations
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Merge branch 'master' of ssh://github.com/mit-plv/fiat-crypto
Adam Chlipala
2017-11-14
|
\
*
|
Expand ratios script
Adam Chlipala
2017-11-14
|
*
Update display logs and c files
Jason Gross
2017-11-14
|
*
Update display logs and c files
Jason Gross
2017-11-14
|
*
Update display logs and c files
Jason Gross
2017-11-14
|
/
*
A small script for calculating speedup ratios from results
Adam Chlipala
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
*
Update display logs and c files
Jason Gross
2017-11-14
[next]