fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	.dir-locals.el	477	log plain
-rw-r--r--	.gitignore	2466	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	19829	log plain
-rw-r--r--	README.md	7383	log plain
-rw-r--r--	_CoqProject	312802	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	522	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--	failures.txt	10342	log plain
-rw-r--r--	folkwisdom.md	17563	log plain
-rw-r--r--	generate_parameters.py	14252	log plain
d---------	liblow	73	log plain
-rw-r--r--	measure.c	3003	log plain
d---------	measurements	444	log plain
-rw-r--r--	optimizations.md	7332	log plain
-rw-r--r--	primes.txt	1295	log plain
-rwxr-xr-x	register-allocate.py	47875	log plain
d---------	src	389	log plain
-rw-r--r--	synthesis-parameters.txt	985	log plain
d---------	third_party	234	log plain