fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	If COQPATH is not set, set it by default (#38)	Jason Gross	2016-07-25
*	In >= 8.6, disable some very noisy warnings	Jason Gross	2016-07-25
*	More Zpow in ZUtil	Jason Gross	2016-07-22
*	More ZUtil	Jason Gross	2016-07-22
*	Add databases for ring_simplify	Jason Gross	2016-07-22
*	Add reverse_nondep and ring_simplify_subterms_in_all tactics	Jason Gross	2016-07-22
*	More ZUtil lemmas	Jason Gross	2016-07-22
*	Revert "Revert "Add more ZUtil automation""	Jason Gross	2016-07-22
*	Merge pull request #37 from JasonGross/fix-intuition	Jason Gross	2016-07-22
\|\
\| *	Make the library 20% faster: [auto with *] is evil	Jason Gross	2016-07-22
\| *	Revert "Add more ZUtil automation"	Jason Gross	2016-07-22
\|/
*	Add more ZUtil automation	Jason Gross	2016-07-22
*	Add ring_simplify_subterms	Jason Gross	2016-07-22
*	Generalize div_sub_small a bit	Jason Gross	2016-07-22
*	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-21
\|\
* \|	Fix 8.4{pl1,pl2} builds	jadep	2016-07-21
\| *	Add another lemma to zarith	Jason Gross	2016-07-21
* \|	Changed name of [carry_and_reduce_single] to [carry_single], since it does no...	jadep	2016-07-21
\| *	Split up proof in BarrettReduction.Z	Jason Gross	2016-07-21
\| *	Add another ZUtil lemma	Jason Gross	2016-07-21
\| *	Another ZUtil lemma	Jason Gross	2016-07-21
\| *	Fix broken proofs	Jason Gross	2016-07-21
\| *	Add more ZUtil	Jason Gross	2016-07-21
\| *	More ZUtil helper lemmas	Jason Gross	2016-07-21
\| *	Add more ZUtil lemmas	Jason Gross	2016-07-21
\| *	Update .mailmap	Jason Gross	2016-07-21
\| *	Add ZUtil lemmas	Jason Gross	2016-07-21
\|/
*	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-21
\|\
* \|	Removed lingering print statement.	jadep	2016-07-21
\| *	Faster update-_CoqProject target	Jason Gross	2016-07-21
\| *	Fix clean target	Jason Gross	2016-07-21
* \|	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-21
\|\\|
* \|	Fixes #29	jadep	2016-07-21
* \|	re-introduced extra field isomorphism layer for 8.4 compatibility and better ...	jadep	2016-07-21
\| *	ed25519 spec: small cleanup	Andres Erbsen	2016-07-21
\| *	Add support for TIMED=1 in Coq 8.4	Jason Gross	2016-07-20
\| *	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
\| *	Merge pull request #33 from JasonGross/dir-locals	Andres Erbsen	2016-07-20
\| \|\
\| * \|	automate a proof	Andres Erbsen	2016-07-20
\| * \|	compute on [F q]!	Andres Erbsen	2016-07-20
\| * \|	experiments wd25519: simplify proof for a	Andres Erbsen	2016-07-20
\| \| *	Add target for .dir-locals.el	Jason Gross	2016-07-20
\| \|/
* \|	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-20
\|\\|
* \|	merge	jadep	2016-07-20
\|\ \
\| \| *	Move mul_rep_extended (do we actually care about this?)	Jason Gross	2016-07-20
\| \|/
\| *	Don't use auto with *	Jason Gross	2016-07-20
* \|	restructured ModularBaseSystem pipeline to put tuple conversion before Modula...	jadep	2016-07-20
\| *	Absolutize some imports	Jason Gross	2016-07-20
\| *	Silence a deprecation warning	Jason Gross	2016-07-20