index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
...
*
etc: add scripts to control turbo boost and hyper threading
Andres Erbsen
2017-07-05
*
benchmarking: correct for differences in CPU and TSC frequency
Andres Erbsen
2017-07-05
*
don't key benchmarks on cpu frequency
Andres Erbsen
2017-06-18
*
handle missing /sys/class/power_supply/AC
Andres Erbsen
2017-06-18
*
more sh portability fixes...
Andres Erbsen
2017-06-18
*
"make bench", currently just X25519-C64 (closes #185)
Andres Erbsen
2017-06-18
*
Bump coq-scripts
Jason Gross
2017-06-06
*
Unrevert the coq-scripts module again
Jason Gross
2017-04-14
*
stronger ladderstep correctness proof courtesy Teo
Andres Erbsen
2017-04-14
*
Revert "update coq-scripts"
Jason Gross
2017-04-13
*
update coq-scripts
Andres Erbsen
2017-04-12
*
Fix vo_reverse_closure
Jason Gross
2017-04-09
*
Add printreversedeps
Jason Gross
2017-04-09
*
Bump submodule for better travis timing logs
Jason Gross
2017-01-31
*
Don't let travis kill us in 10 minutes of silence
Jason Gross
2016-11-18
*
Also redact mit-plv and fiat-crypto
Jason Gross
2016-11-15
*
Add author-blacklist for repo anonymizer
Jason Gross
2016-11-14
*
GF25519: add optimized addition chain
Andres Erbsen
2016-11-11
*
Bump submodule for better timing
Jason Gross
2016-09-07
*
Bump submodule
Jason Gross
2016-07-19
*
Bump submodule
Jason Gross
2016-07-19
*
Add coq-scripts submodule for timing scripts
Jason Gross
2016-06-22
*
Fix freshen-bedrock-files.sh
Jason Gross
2016-04-03
*
Add etc/freshen-bedrock-files.sh
Jason Gross
2016-02-23
[prev]