fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	If COQPATH is not set, set it by default (#38)	Jason Gross	2016-07-25
\| \| \|	This allows most users to not need to type COQPATH=... on make.
*	Make Coq 8.5 the default target for Fiat-Crypto	Jason Gross	2016-06-22
\| \| \| \|	Instructions for 8.4 build in the README
*	Add travis build status indicator	Jason Gross	2016-06-20
\|
*	readme typo	Andres Erbsen	2016-06-20
\|
*	readme: dont say things I am not sure of	Andres Erbsen	2016-06-20
\|
*	Update README so it's good for both github.com and github.mit.edu	Jason Gross	2016-06-15
\|
*	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.
*	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.).
*	Import coqprime; use it to prove Euler's criterion.	Jade Philipoom	2016-01-20
\|
*	remove fiat dependency	Andres Erbsen	2016-01-16
\|
*	init our centralized repo	Robert Sloan	2015-09-10
\|
*	Initial commit	Robert Sloan	2015-09-10