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
*
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