index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
.dir-locals.el
477
log
plain
-rw-r--r--
.gitignore
2540
log
plain
-rw-r--r--
.gitmodules
107
log
plain
-rw-r--r--
.mailmap
2123
log
plain
-rw-r--r--
.travis.yml
3318
log
plain
-rw-r--r--
AUTHORS
597
log
plain
d---------
Bedrock
70
log
plain
-rw-r--r--
CONTRIBUTORS
1163
log
plain
-rw-r--r--
LICENSE
1119
log
plain
-rw-r--r--
Makefile
16880
log
plain
-rw-r--r--
README.md
611
log
plain
-rw-r--r--
_CoqProject
169436
log
plain
-rwxr-xr-x
capture.sh
735
log
plain
d---------
coqprime
147
log
plain
-rw-r--r--
crypto-defects.md
5923
log
plain
d---------
etc
485
log
plain
-rw-r--r--
expansion.md
4303
log
plain
-rwxr-xr-x
extract-function-header.sh
614
log
plain
-rwxr-xr-x
extract-function.sh
2263
log
plain
-rw-r--r--
fibe.c
10976
log
plain
-rw-r--r--
folkwisdom.md
17563
log
plain
-rw-r--r--
generate_parameters.py
10548
log
plain
-rw-r--r--
gmpsec.c
7655
log
plain
-rw-r--r--
gmpvar.c
7293
log
plain
-rw-r--r--
gmpxx.cpp
3894
log
plain
d---------
liblow
73
log
plain
-rw-r--r--
measure.c
3003
log
plain
-rw-r--r--
montladder.py
2170
log
plain
-rw-r--r--
optimizations.md
7332
log
plain
-rw-r--r--
prettyprint.py
2809
log
plain
-rw-r--r--
primes.txt
1271
log
plain
-rwxr-xr-x
register-allocate.py
47875
log
plain
d---------
src
427
log
plain
-rw-r--r--
synthesis-parameters.txt
985
log
plain
d---------
third_party
234
log
plain