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.
*	In >= 8.6, disable some very noisy warnings	Jason Gross	2016-07-25
\| \| \| \| \| \| \| \| \|	Since we're building for both 8.4 and 8.5, we don't want to see warnings about appcontext being deprecated. Many of the notation-overridden warnings come from standard library imports (see [bug #4962](https://coq.inria.fr/bugs/show_bug.cgi?id=4962)) so it's not clear that there's anything we can do about them.
*	Faster update-_CoqProject target	Jason Gross	2016-07-21
\|
*	Fix clean target	Jason Gross	2016-07-21
\| \| \| \|	This is the problem with copy-paste solutions. (Thanks @jadephilipoom)
*	Add support for TIMED=1 in Coq 8.4	Jason Gross	2016-07-20
\| \| \| \|	This should fix #34
*	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!
*	Clean up the makefile a bit	Jason Gross	2016-07-06
\|
*	Fix coqprime clean, install targets, add cleanall	Jason Gross	2016-07-06
\|
*	Flip the sense of the conditional in the makefile	Jason Gross	2016-06-22
\| \| \| \|	This way, we treat trunk as 8.5.
*	Make Coq 8.5 the default target for Fiat-Crypto	Jason Gross	2016-06-22
\| \| \| \|	Instructions for 8.4 build in the README
*	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