fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Finish seperating our specs: remove old non-specified code	Andres Erbsen	2016-02-15
*	ported some of EdDSA25519 to new field framework	Jade Philipoom	2016-02-15
*	Merge branch 'spec' of github.mit.edu:plv/fiat-crypto	Jade Philipoom	2016-02-12
\|\
* \|	EdDSA25519: progress on proving PointEncoding admits; code still unorganized	Jade Philipoom	2016-02-12
\| *	port several theorems from GF to F	Andres Erbsen	2016-02-11
\|/
*	removed lingering Check/SearchAbout statements	Jade Philipoom	2016-02-07
*	EdDSA25519 : wrote and proved optimized PointEncoding, which encodes y and th...	Jade Philipoom	2016-02-07
*	PointFOrmats,EdDSA: remove redundant axioms	Andres Erbsen	2016-01-16
*	fix merge conflicts + PointFormats proofs	Robert Sloan	2016-01-14
\|\
\| *	euler's criterion reduced to fermat's little theorem and two lemmas about pri...	Jade Philipoom	2016-01-13
* \|	simple refactor of makefile; comments	varomodt	2016-01-09
\|/
*	Specific/EdDSA25519: created most of specific instantiation of EdDSA; still m...	Jade Philipoom	2016-01-05