fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Removed lingering print statement.	jadep	2016-07-21
*	re-introduced extra field isomorphism layer for 8.4 compatibility and better ...	jadep	2016-07-21
*	restructured ModularBaseSystem pipeline to put tuple conversion before Modula...	jadep	2016-07-20
*	Fixed unsimplified multiplication definitions in Specific by separating out t...	jadep	2016-07-18
*	more changes to Specific for 8.4 compatibility	jadep	2016-07-15
*	re-cleaned operations in Specific and updated GF25519 to match GF1305	jadep	2016-07-12
*	cleaned Specific operations so they produce code without proof terms, and pro...	jadep	2016-07-12
*	pushing through a tweak to the arguments of [sub], and defining a field over ...	jadep	2016-07-12
*	ported Specific files to use ModularBaseSystemInterface	jadep	2016-07-11
*	defined some group operations, stated group lemma for tuple-based [add] (in t...	jadep	2016-07-08
*	stuck trying to figure out dependently typed continuation passing style	Andres Erbsen	2016-07-06
*	Canonicalization is now automated in GF25519 and added to GF1305.	jadep	2016-06-17
*	PseudoMersenneBaseRep.mul now carries by default (made possible by strictly b...	jadep	2016-06-15
*	Implemented subtraction mod q as as (sub a b = sub (add a (2*q)) b) to avoid ...	jadep	2016-05-09
*	added GF1305 (modulus is 2^130 - 5, base has length 5 with all digits having ...	jadep	2016-04-21