fiat-crypto - fast, formally verified cryptography

	Commit message (Collapse)	Author	Age
*	Add curve25519-donna-c64 to etc/third_party	Jason Gross	2017-09-27
\|
*	Add femul,fesqure for C32	Jason Gross	2017-09-21
\| \| \| \| \|	32-bit ladderstep takes way too long (at least on Coq 8.6), so we don't add it yet
*	Update .gitignore with compilation outputs	Jason Gross	2017-07-08
\|
*	Update .gitignore with things from make bench	Jason Gross	2017-06-29
\|
*	Better support for coq_makefile2 with fewer warnings	Jason Gross	2017-06-12
\|
*	Track .dir-locals.el rather than generating it	Jason Gross	2017-04-24
\| \| \| \| \|	Since we're only using one version of coqprime, we no longer need to generate .dir-locals.el
*	Update .gitignore for Coq 8.6	Jason Gross	2016-09-16
\|
*	Update .gitignore for Coq 8.6	Jason Gross	2016-09-16
\|
*	Don't depend on the submodule; copy-paste instead	Jason Gross	2016-07-20
\|
*	Add a separate non-specific target	Jason Gross	2016-07-20
\| \| \| \| \| \| \| \|	This should fix #27. We depend on some files in the etc/coq-scripts submodule. Note that you need to either run `make cleanall -k` or `rm -f Makefile.coq` after pulling this to build the development.
*	Add target for .dir-locals.el	Jason Gross	2016-07-20
\| \| \| \| \| \|	This fixes #31 Thanks @cpitclaudel!
*	Update .gitignore	Jason Gross	2016-07-10
\|
*	Add more caches to .gitignore (nra, csdp)	Jason Gross	2016-07-01
\|
*	Update .gitignore with lia, nia caches	Jason Gross	2016-07-01
\|
*	Update .gitignore	Jason Gross	2016-06-27
\|
*	Merge with plv/master	Robert Sloan	2016-06-22
\|\
* \|	nicer verify() derivation starter	Andres Erbsen	2016-06-22
\| \| \| \| \| \| \| \| \| \| \| \|	Added base types for Qhasm emacs gitignore
* \|	Update build process to use COQPATH & _CoqProject	Jason Gross	2016-06-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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.).
\| *	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