fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Update build process to use COQPATH & _CoqProject	Jason Gross	2016-02-05
\| \| \| \| \| \| \| \|	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.).
*	recursive-build coqprime	Rob Sloan	2016-01-28
\|
*	recursive-build coqprime	Rob Sloan	2016-01-28
\|
*	Import coqprime; use it to prove Euler's criterion.	Jade Philipoom	2016-01-20
\|
*	remove fiat dependency	Andres Erbsen	2016-01-16
\|
*	simple refactor of makefile; comments	varomodt	2016-01-09
\|
*	fix the makefile to not rebuild + module renaming	Robert Sloan	2015-10-22
\|
*	pull changes from desktop	Robert Sloan	2015-10-19
\|
*	redo module structure + init curve25519	Robert Sloan	2015-09-16
\|
*	Basic Galois Field Theory Modules	Robert Sloan	2015-09-16
\|
*	init our centralized repo	Robert Sloan	2015-09-10