fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	coqprime in COQPATH (closes #269)	Andres Erbsen	2018-02-24
\|
*	Change Implicit Arguments to Arguments in coqprime	Jasper Hugunin	2018-02-23
\|
*	Strip trailing whitespace	Jason Gross	2017-06-02
\| \| \| \| \| \| \|	With ```bash bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh ```
*	Make Coq 8.5 the default target for Fiat-Crypto	Jason Gross	2016-06-22
\| \| \| \|	Instructions for 8.4 build in the README
*	Automate a UList proof a bit so it builds with 8.5	Jason Gross	2016-02-25
\| \| \| \|	It still builds with 8.4
*	Update Coqprime/UList	Jason Gross	2016-02-24
\| \| \| \| \|	Ambiguous imports, oh joy! (Coqprime failed to build when Bedrock was in COQPATH.)
*	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.).