fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	PointFOrmats,EdDSA: remove redundant axioms	Andres Erbsen	2016-01-16
*	fix merge conflicts + PointFormats proofs	Robert Sloan	2016-01-14
\|\
\| *	Merge branch 'master' of github.mit.edu:plv/fiat-crypto	Jade Philipoom	2016-01-13
\| \|\
\| * \|	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
\| \|/ \|/\|
* \|	Merge branch 'specific-rewrite'	Andres Erbsen	2016-01-06
\|\ \ \| \|/ \|/\|
\| *	fix letify to only insert a term once	Andres Erbsen	2016-01-06
* \|	Merge branch 'master' of github.mit.edu:plv/fiat-crypto	Jade Philipoom	2016-01-05
\|\ \
* \| \|	Specific/EdDSA25519: created most of specific instantiation of EdDSA; still m...	Jade Philipoom	2016-01-05
\| * \|	remove comment	Andres Erbsen	2016-01-04
\|/ /
\| *	prettier GF25519 derivation that runs out of memory	Andres Erbsen	2016-01-04
\| *	UNTESTED simplification of specific GF25519 derivation	Andres Erbsen	2016-01-02
\|/
*	Remove redundancy in lemma statement	Adam Chlipala	2015-12-09
*	Specific/GF25519: explicit formula for multiplication	Andres Erbsen	2015-12-05
*	GF25519: synthesize explicit formula for multiplication (no reduction yet)	Andres Erbsen	2015-12-05
*	Specific/GF25519: Updated to match new PseudoMersenneBaseParams spec.	Jade Philipoom	2015-11-24
*	ModularBaseSystem: relocated base_succ to PsuedoMersenneBaseParams, proved ca...	Jade Philipoom	2015-11-20
*	BaseSystem: added encode definition, included b0_1 precondition in BaseCoefs ...	Jade Philipoom	2015-11-10
*	ModularBaseSystem: finish base_good	Andres Erbsen	2015-11-07
*	ModularBaseSystem: prove some admits in mase system extension	Andres Erbsen	2015-11-07
*	Specific: PseudoMersenneBaseParams for GF25519Base25Point5.	Andres Erbsen	2015-11-06
*	instantiate BaseSystem using base 2^ceil(25.5i) representation of GF(2^255-19)	Andres Erbsen	2015-11-06
*	src/Specific/GF25519.v: more complicated example for BaseSystem	Andres Erbsen	2015-11-05