fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	{base} -> base	Jason Gross	2016-07-19
\|
*	rewrote Testbit and factored out some necessary lemmas about 'uniform' bases ↵	jadep	2016-07-18
\| \| \| \|	(bases that are repeats of the same power of 2) into Pow2Base
*	Merged changes, including new ZUtil conventions.	jadep	2016-07-06
\|\
\| *	Make ZUtil more uniform	Jason Gross	2016-07-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The standard library uses Z., and Z and Z_* are compatibility notations. We follow suit. Also, eliminate a few lemmas that are duplicates of ones in the standard library.
* \|	added and proved shift/or decode operation 'decode_bitwise'	jadep	2016-06-30
\|/
*	8.5 fixes	Jason Gross	2016-06-10
\|
*	Defined a testbit variant for BaseSystem vectors and proved equivalence to ↵	jadep	2016-04-19
	Z.testbit.