fiat-crypto - fast, formally verified cryptography

Mode	Name	Size
-rw-r--r--	.dir-locals.el	481	log plain
-rw-r--r--	.gitignore	3461	log plain
-rw-r--r--	.gitmodules	263	log plain
-rw-r--r--	.mailmap	2311	log plain
-rw-r--r--	.travis.yml	6327	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	8993	log plain
-rw-r--r--	README.md	15101	log plain
-rw-r--r--	_CoqProject	9597	log plain
m---------	bbv @ 99770e5	0	log
m---------	coqprime @ be32c40	0	log
-rw-r--r--	crypto-defects.md	5955	log plain
-rw-r--r--	curve25519_32.c	40546	log plain
-rw-r--r--	curve25519_64.c	24381	log plain
d---------	etc	559	log plain
-rw-r--r--	folkwisdom.md	17563	log plain
-rw-r--r--	p224_32.c	91547	log plain
-rw-r--r--	p224_64.c	43706	log plain
-rw-r--r--	p256_32.c	106855	log plain
-rw-r--r--	p256_64.c	41320	log plain
-rw-r--r--	p384_32.c	253394	log plain
-rw-r--r--	p384_64.c	88446	log plain
-rw-r--r--	p448_solinas_64.c	40783	log plain
-rw-r--r--	p484_64.c	110239	log plain
-rw-r--r--	p521_32.c	87896	log plain
-rw-r--r--	p521_64.c	44403	log plain
-rw-r--r--	primes.txt	1295	log plain
-rw-r--r--	secp256k1_32.c	143220	log plain
-rw-r--r--	secp256k1_64.c	50872	log plain
d---------	src	2152	log plain