fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Move most notation level declarations into Util	Jason Gross	2016-07-27
*	Make the library 20% faster: [auto with *] is evil	Jason Gross	2016-07-22
*	port CompleteEdwardsCurveTheorems (builds again)	Andres Erbsen	2016-07-11
*	Proved lingering lemmas in PointEncodingPre.	jadep	2016-07-06
*	Merged changes, including new ZUtil conventions.	jadep	2016-07-06
\|\
\| *	Make ZUtil more uniform	Jason Gross	2016-07-02
* \|	merging point encoding port	jadep	2016-06-24
\|\\|
* \|	Ported PointEncodings to parameterize over field rather than modulus.	jadep	2016-06-24
\| *	remove trailing whitespace from src/	Andres Erbsen	2016-06-20
\| *	Remove anything incompatible with new algebraic hierarcy	Andres Erbsen	2016-06-20
\|/
*	Fixed Encoding/PointEncodingTheorems; imports had been deleted, but for some ...	jadep	2016-05-25
*	Changed name of Encoding to CanonicalEncoding, and changed notation to match.	jadep	2016-04-29
*	Moved sign_bit definition to Spec.	jadep	2016-04-29
*	Cleanup: mostly moving lemmas to Util files, some moving lemmas to more gener...	jadep	2016-04-28
*	Completed encoding reorganization; factored sign_bit out of PointEncodings an...	jadep	2016-04-28
*	consolidate and rename Edwards curve lemmas	Andres Erbsen	2016-04-25
*	Reorganization and revision of Encoding code and redefinition of sign_bit fun...	jadep	2016-04-25
*	proved most of point encoding admits, fixed some build system issues (dead im...	Jade Philipoom	2016-02-16