fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-25
\|\
* \|	Put ModularBaseSystem carries in terms of [carry_gen], and pushed this change...	jadep	2016-07-25
\| *	Make the library 20% faster: [auto with *] is evil	Jason Gross	2016-07-22
\|/
*	Changed name of [carry_and_reduce_single] to [carry_single], since it does no...	jadep	2016-07-21
*	merge	jadep	2016-07-20
\|\
\| *	Remove stuff from PseudoMersenneBaseParamProofs.v	Jason Gross	2016-07-19
\| *	Fix side-condition from previous commit	Jason Gross	2016-07-19
\| *	Add another lemma to distr_length	Jason Gross	2016-07-19
* \|	merge	jadep	2016-07-19
\|\\|
* \|	merge	jadep	2016-07-19
\|\ \
\| \| *	Add a lemma about base_from_limb_widths and app	Jason Gross	2016-07-18
\| \| *	Make Pow2BaseProofs independent of the def of add_to_nth	Jason Gross	2016-07-18
\| \| *	Express carry_simple in terms of carry_gen	Jason Gross	2016-07-18
\| \|/
* \|	changed base notation	jadep	2016-07-18
\| *	Move some definitions to Pow2Base (#24)	Jason Gross	2016-07-18
\|/
*	rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ...	jadep	2016-07-18
*	Merged changes, including new ZUtil conventions.	jadep	2016-07-06
*	Factored out some proofs that rely only on base being powers of two, and defi...	jadep	2016-07-06