fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Makefile: build on Arch Linux once again	Andres Erbsen	2016-06-20
\|
*	Be a bit more quiet on make unless VERBOSE=1 is passed	Jason Gross	2016-06-16
\|
*	8.5 fixes	Jason Gross	2016-06-10
\|
*	Add coqprime that works with 8.5, bundle bedrock	Jason Gross	2016-06-10
\| \| \| \| \| \|	This simplifes the build process, and also allows us to try to build with 8.5. We autodetect the version of Coq in the Makefile to decide which version of coqprime to build.
*	Makefile: single-quotes for shell globbing	Andres Erbsen	2016-02-28
\|
*	Factor out some bedrock dependencies into WordUtil	Jason Gross	2016-02-25
\| \| \| \|	Also move a definition about words, with a TODO about location, into WordUtil.
*	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