fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	remove trailing whitespace from src/	Andres Erbsen	2016-06-20
*	PseudoMersenneBaseRep.mul now carries by default (made possible by strictly b...	jadep	2016-06-15
*	changed representation definition to require digits vector to be the exact le...	jadep	2016-06-15
*	Added canonicalization to ModularBaseSystemOpt.	jadep	2016-06-15
*	reversed modulus_digits and proved a few admits	jadep	2016-06-13
*	starting rewrite using different definition of map	jadep	2016-06-11
*	First stage of canonicalization proofs complete; proved 3 carry loops reduce ...	jadep	2016-05-20
*	Implemented subtraction mod q as as (sub a b = sub (add a (2*q)) b) to avoid ...	jadep	2016-05-09
*	Merge branch 'master' of github.mit.edu:plv/fiat-crypto	jadep	2016-03-30
\|\
* \|	made BaseVector instance global	Jade Philipoom	2016-03-20
* \|	refactor of Basesystem and ModularBaseSystem; includes general code organizat...	Jade Philipoom	2016-03-20
* \|	Refactored BaseSystem and ModularBaseSystem.	Jade Philipoom	2016-03-11
\| *	Finish absolutizing imports	Jason Gross	2016-03-10
\|/
*	Finish seperating our specs: remove old non-specified code	Andres Erbsen	2016-02-15