fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Move more proofs earlier	Jason Gross	2016-07-18
*	Add more distr_length proofs in BaseSystemProofs	Jason Gross	2016-07-18
*	Merged changes, including new ZUtil conventions.	jadep	2016-07-06
\|\
\| *	Make ZUtil more uniform	Jason Gross	2016-07-02
* \|	BaseSystem encode function is no longer naive; it does a mod/div loop rather ...	jadep	2016-06-28
\|/
*	Aggregate all level specifications not in Spec/*	Jason Gross	2016-06-22
*	changed representation definition to require digits vector to be the exact le...	jadep	2016-06-15
*	Merge	jadep	2016-06-14
\|\
* \|	Finished admits for canonicalization proofs.	jadep	2016-06-14
\| *	8.5 fixes	Jason Gross	2016-06-10
\|/
*	Cleanup: mostly moving lemmas to Util files, some moving lemmas to more gener...	jadep	2016-04-28
*	refactor of Basesystem and ModularBaseSystem; includes general code organizat...	Jade Philipoom	2016-03-20