fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	Add a lemma about hprop and eq	Jason Gross	2016-07-29
*	Make IsIso a class	Jason Gross	2016-07-29
*	Add HProp, Isomorphism	Jason Gross	2016-07-29
*	Add inversion helper tactics to Sigma.v	Jason Gross	2016-07-29
*	Rename path_sig{,T}{ => _uncurried}_iff	Jason Gross	2016-07-29
*	Add path_sig{,T}_iff	Jason Gross	2016-07-29
*	Add some lemmas to Util.Sigma	Jason Gross	2016-07-29
*	Set Asymmetric Patterns, add util lemmas about sig	Jason Gross	2016-07-29
*	Get rid of unparsable unicode notation	Jason Gross	2016-07-28
*	Add more reserved notations	Jason Gross	2016-07-28
*	Add instances about congruence modulo	Jason Gross	2016-07-28
*	Add unicode reserved notations	Jason Gross	2016-07-28
*	Add Z.mod_mod to zsimplify	Jason Gross	2016-07-28
*	Move most notation level declarations into Util	Jason Gross	2016-07-27
*	Restore functionality of Z.simplify_fractions_le	Jason Gross	2016-07-27
*	Make Z.pre_reorder_fractions / Z.simplify_fractions_le not loop	Jason Gross	2016-07-27
*	Add another ZUtil lemma	Jason Gross	2016-07-26
*	Fix 8.6 build	Jason Gross	2016-07-26
*	Fix 8.4 build.	jadep	2016-07-25
*	Merge branch 'master' of github.com:mit-plv/fiat-crypto	jadep	2016-07-25
\|\
* \|	Put ModularBaseSystem carries in terms of [carry_gen], and pushed this change...	jadep	2016-07-25
* \|	A couple new util lemmas	jadep	2016-07-25
\| *	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
\|\