fiat-crypto - fast, formally verified cryptography

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	169360	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	10982	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	2215	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