fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	remove eq_dec from Monoid	Andres Erbsen	2016-08-23
*	Refactor ModularArithmetic into Zmod, expand Decidable	Andres Erbsen	2016-08-04
*	proved an admit in field homomorphisms that turned out to be unprovable; I ad...	jadep	2016-07-15
*	s/conservative_common_denominator/common_denominator/g	Andres Erbsen	2016-07-11
*	remove field_algebra	Andres Erbsen	2016-07-11
*	wrap nsatz in Algebra	Andres Erbsen	2016-07-11
*	update new lemma in CompleteEdwardsCurve/Pre to match other changes to that file	jadep	2016-06-25
*	Merge branch 'master' of github.com:mit-plv/fiat-crypto into pointencoding_port	jadep	2016-06-24
\|\
* \	merging point encoding port	jadep	2016-06-24
\|\ \
* \| \|	Ported PointEncodings to parameterize over field rather than modulus.	jadep	2016-06-24
\| \| *	Remove a useless intro	Jason Gross	2016-06-24
\| \|/
\| *	Integrate Pseudize into Pipeline.v	Robert Sloan	2016-06-23
\| *	Pseudize Let_In	Robert Sloan	2016-06-23
\| *	Fix broken notations (hopefully)	Jason Gross	2016-06-22
\| *	Aggregate all level specifications not in Spec/*	Jason Gross	2016-06-22
\| *	remove trailing whitespace from src/	Andres Erbsen	2016-06-20
\| *	move nsatz into tactics directory	Andres Erbsen	2016-06-20
\| *	port CompleteEdwardsCurve.ExtendedCoordinates, make [field_algebra] try fewer...	Andres Erbsen	2016-06-18
\| *	edwards curve addition respects field homomorphism	Andres Erbsen	2016-06-16
\| *	prove ring admits	Andres Erbsen	2016-06-16
\| *	edwards curve preliminaries: replace oncurve proof with nsatz	Andres Erbsen	2016-06-16
\| *	nsatz: reimplement, integrate, demonstrate	Andres Erbsen	2016-06-15
\| *	refactor nsatz wrappers into algebra file	Andres Erbsen	2016-06-14
\| *	[field] and [nsatz] do things now again	Andres Erbsen	2016-06-14
\| *	stuck because overloading-by-typeclasses sucks	Andres Erbsen	2016-06-13
* \|	Minor 8.5 changes	Jason Gross	2016-06-10
* \|	More changes for 8.5	Jason Gross	2016-06-10
\| *	generic field definition	Andres Erbsen	2016-06-07
\|/
*	Finish absolutizing imports	Jason Gross	2016-03-10
*	port some edwards curve theorems	Andres Erbsen	2016-02-12