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
...
*
Add heuristic search
Jason Gross
2017-08-13
*
Update the graph maker
Jason Gross
2017-08-13
*
Update exhaustive search compiler
Jason Gross
2017-08-13
*
Add memoize.py to zinc compiler folder
Jason Gross
2017-08-11
*
wip on register allocation in python
Jason Gross
2017-08-09
*
Fix the sense of dependencies in zinc generation
Jason Gross
2017-08-09
*
Get all scheduling done in one frame
Jason Gross
2017-08-09
*
Fix wip
Jason Gross
2017-08-09
*
Larger instruction window for zinc
Jason Gross
2017-08-09
*
Add a faster version of the zinc compiler
Jason Gross
2017-08-06
*
Add initial stab at C-compilation by optimization
Jason Gross
2017-08-06
*
Fix format warning in gcc
Jason Gross
2017-07-08
*
Don't remove Adam Langley when anonymizing repo
Jason Gross
2017-07-06
*
s/bash/sh
Andres Erbsen
2017-07-05
*
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]