fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	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.).
*	simple refactor of makefile; comments	varomodt	2016-01-09
\|
*	Tiny module-system tweaks in PointFormats	Adam Chlipala	2015-10-28
\|
*	Got most of the way through new GaloisField code	Adam Chlipala	2015-09-17