fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
...
*	gfPlus abstraction	Robert Sloan	2015-10-16
\|
*	Galois: add broken test	Andres Erbsen	2015-09-22
\|
*	merge with master	Robert Sloan	2015-09-19
\|\
* \|	make ring decidable + define constants	Robert Sloan	2015-09-19
\| \|
\| *	make `field` work when GaloisField and GaloisFieldTheory are imported at the ↵	Andres Erbsen	2015-09-18
\|/ \| \| \|	same time (h/t @daniel-ziegler)
*	GaloisFieldTheory: add scope delimiter	Andres Erbsen	2015-09-18
\|
*	GaloisFieldTheory: scoped notation that coincides with Z	Andres Erbsen	2015-09-18
\|
*	overlflow-checking ZToGF function	Andres Erbsen	2015-09-17
\|
*	Removed dependency on proof irrelevance (it turns out we had a redundant ↵	Adam Chlipala	2015-09-17
\| \| \| \|	existential quantifier)
*	Beautified remaining GaloisFieldTheory proofs	Adam Chlipala	2015-09-17
\|
*	Got most of the way through new GaloisField code	Adam Chlipala	2015-09-17
\|
*	fix module structure + add assembly placeholder	Robert Sloan	2015-09-17
\|
*	redo module structure + init curve25519	Robert Sloan	2015-09-16