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
...
*
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
*
Update crypto-defects.md
Andres Erbsen
2017-07-29
*
Factor out some of the preglue synthesis code
Jason Gross
2017-07-08
*
Unfold tuple arguments in reflective pipeline
Jason Gross
2017-07-08
*
Add cbv_runtime in Arithmetic/Core
Jason Gross
2017-07-08
*
Make some tactics a bit more powerful
Jason Gross
2017-07-08
*
Also test coq v8.7 on travis
Jason Gross
2017-07-08
*
Fix Demo.v
Jason Gross
2017-07-08
*
More fine-grained tactics imports
Jason Gross
2017-07-08
*
More fine-grained imports
Jason Gross
2017-07-08
*
Add UnfoldArg
Jason Gross
2017-07-08
*
Update .gitignore with compilation outputs
Jason Gross
2017-07-08
*
Fix format warning in gcc
Jason Gross
2017-07-08
*
Fix CSE_sym denote
Jason Gross
2017-07-07
*
Fix proofs broken by previous commit
Jason Gross
2017-07-07
*
Stronger contexts
Jason Gross
2017-07-07
*
README: recommend against Coq 8.5
Andres Erbsen
2017-07-07
*
Remove some admitted lemmas
Jason Gross
2017-07-07
*
enforce use of [F.zero], [F.one]; prove Ed25519 admits
Andres Erbsen
2017-07-07
*
prove ModularArithmeticTheorems admits
Andres Erbsen
2017-07-06
*
Curves/Edwards/Affine: prove point compression admits
Andres Erbsen
2017-07-06
*
prove an admit in ArithmeticSynthesisTest
Andres Erbsen
2017-07-06
*
make bench
Andres Erbsen
2017-07-06
*
Don't remove Adam Langley when anonymizing repo
Jason Gross
2017-07-06
*
make bench
Jason Gross
2017-07-06
*
Fix a typo that ends up not mattering
Jason Gross
2017-07-06
*
benchmark NISTZ256 with and without adx
Andres Erbsen
2017-07-05
*
capture.sh require constant TSC
Andres Erbsen
2017-07-05
*
s/bash/sh
Andres Erbsen
2017-07-05
*
make bench
Andres Erbsen
2017-07-05
*
fix .h dependencies in makefile (closes #235)
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
*
make bench
Andres Erbsen
2017-07-04
*
use att style assembly with icc, test it
Andres Erbsen
2017-07-04
*
test p256 mixed addition
Andres Erbsen
2017-07-04
*
work around GCC issues 81294 and 81300
Andres Erbsen
2017-07-03
*
fix mulx argument order using sed, test feadd, femul (fails due to #234)
Andres Erbsen
2017-07-03
*
Don't set COQPATH in travis
Jason Gross
2017-07-03
*
Fix a mis-aligned comment marker in CNotations script
Jason Gross
2017-07-03
*
test display target on travis
Jason Gross
2017-07-03
*
Fix display target
Jason Gross
2017-07-03
*
Remove tabs from .travis.yml
Jason Gross
2017-07-03
*
Clean up .travis.yml
Jason Gross
2017-07-03
*
X25519 test (passed on first try)
Andres Erbsen
2017-07-02
[prev]
[next]