fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Update build process to use COQPATH & _CoqProject	Jason Gross	2016-06-22
\| \| \| \| \| \| \| \|	Removed all of the files not built by default; they can be resurrected from git history. _CoqProject is the standard way to list the files in a project and to give information to coq_makefile. COQPATH is the standard way to make use of not-yet-installed libraries that are not part of your project (i.e., you don't want to remove them when you `make clean`, etc.).
*	simple refactor of makefile; comments	varomodt	2016-01-09
\|
*	Specific/EdDSA25519: created most of specific instantiation of EdDSA; still ↵	Jade Philipoom	2016-01-05
\| \| \| \|	missing parameters d, H, l, B, and PointEncoding.
*	Code-reviewing EdDSA	Adam Chlipala	2015-12-29
\|
*	reorganized lemmas; moved several to ListUtil and ZUtil.	Jade Philipoom	2015-11-24
\|
*	ModularBaseSystem.carry: implement, state lemmas, some progress on proofs	Andres Erbsen	2015-11-17
\|
*	Merge remote-tracking branch 'jadep/master'	Andres Erbsen	2015-11-06
\|\
* \|	instantiate BaseSystem using base 2^ceil(25.5i) representation of GF(2^255-19)	Andres Erbsen	2015-11-06
\|/
*	Beautified BinGF.splitWords	Adam Chlipala	2015-10-30
\|
*	word bound propagation examples	Andres Erbsen	2015-10-30
\|
*	BaseSystem to Util.ListUtil: separate out generic list lemmas	Andres Erbsen	2015-10-29
\|
*	Merge branch 'master' of github.mit.edu:rsloan/fiat-crypto	Andres Erbsen	2015-10-29
\|\
\| *	patches for galois	Robert Sloan	2015-10-27
\| \|
* \|	positional number system equivalence transcribed from pencil-and-paper ↵	Andres Erbsen	2015-10-25
\|/ \| \| \|	proofs by <jadep@mit.edu>
*	add morphism-based field impl	Robert Sloan	2015-10-22
\|
*	fix the makefile to not rebuild + module renaming	Robert Sloan	2015-10-22
\|
*	pull changes from desktop	Robert Sloan	2015-10-19
\|
*	gfPlus abstraction	Robert Sloan	2015-10-16
\|
*	make ring decidable + define constants	Robert Sloan	2015-09-19
\|
*	makefile dependency order	Andres Erbsen	2015-09-18
\|
*	Curves: elliptic curve point format record declarations and some invariants	Andres Erbsen	2015-09-18
\|
*	import VerdiTactics	Andres Erbsen	2015-09-17
\|
*	redo module structure + init curve25519	Robert Sloan	2015-09-16
\|
*	init our centralized repo	Robert Sloan	2015-09-10