fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	.dir-locals.el	481	log plain
-rw-r--r--	.gitignore	3428	log plain
-rw-r--r--	.gitmodules	263	log plain
-rw-r--r--	.mailmap	2311	log plain
-rw-r--r--	.travis.yml	7421	log plain
-rw-r--r--	AUTHORS	597	log plain
-rw-r--r--	CONTRIBUTORS	1200	log plain
-rw-r--r--	LICENSE	1119	log plain
-rw-r--r--	Makefile	27684	log plain
-rw-r--r--	README.md	7446	log plain
-rw-r--r--	_CoqProject	348522	log plain
m---------	bbv @ 8eb02b5	0	log
-rwxr-xr-x	capture.sh	735	log plain
m---------	coqprime @ be32c40	0	log
-rw-r--r--	crypto-defects.md	5955	log plain
-rw-r--r--	curve25519_32.c	40682	log plain
-rw-r--r--	curve25519_64.c	24355	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	14294	log plain
d---------	liblow	73	log plain
-rw-r--r--	measure.c	3003	log plain
d---------	measurements	590	log plain
-rw-r--r--	optimizations.md	7332	log plain
-rw-r--r--	p224_32.c	92817	log plain
-rw-r--r--	p224_64.c	46047	log plain
-rw-r--r--	p256_32.c	112615	log plain
-rw-r--r--	p256_64.c	45722	log plain
-rw-r--r--	p384_32.c	256858	log plain
-rw-r--r--	p384_64.c	89577	log plain
-rw-r--r--	p521_32.c	88175	log plain
-rw-r--r--	p521_64.c	44720	log plain
-rw-r--r--	primes.txt	1295	log plain
-rwxr-xr-x	regenerate-curves.sh	322	log plain
-rwxr-xr-x	register-allocate.py	47875	log plain
-rw-r--r--	secp256k1_32.c	144692	log plain
-rw-r--r--	secp256k1_64.c	51617	log plain
d---------	src	389	log plain
-rw-r--r--	synthesis-parameters.txt	985	log plain
d---------	third_party	234	log plain