fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	fix the makefile to not rebuild + module renaming	Robert Sloan	2015-10-22
\|\
* \|	fix the makefile to not rebuild + module renaming	Robert Sloan	2015-10-22
\| \|
\| *	disable Curve25519 until PointFormats is parametric or we give up and retry	Andres Erbsen	2015-10-22
\| \|
\| *	refactor pointformats to use have a module type of correct implementations	Andres Erbsen	2015-10-22
\|/
*	pull changes from desktop	Robert Sloan	2015-10-19
\|
*	pull changes from desktop	Robert Sloan	2015-10-19
\|
*	Small PointFormats tweaks while reading through	Adam Chlipala	2015-10-12
\|
*	comment out edwards<->montgomery conversion	Andres Erbsen	2015-10-08
\|
*	refactor point formats to use modules and prove some lemmas	Andres Erbsen	2015-10-07
\|
*	in case of not-on-curve points, extended coordinate addition and twisted ↵	Andres Erbsen	2015-09-21
\| \| \| \|	coordinate addition may have different behavior
*	montgomery ladder definition	Andres Erbsen	2015-09-21
\|
*	make ring decidable + define constants	Robert Sloan	2015-09-19
\|
*	Curves: elliptic curve point format record declarations and some invariants	Andres Erbsen	2015-09-18
\|
*	fix module structure + add assembly placeholder	Robert Sloan	2015-09-17
\|
*	redo module structure + init curve25519	Robert Sloan	2015-09-16
\|
*	init our centralized repo	Robert Sloan	2015-09-10