fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
*	More powerful inversion_option	Jason Gross	2016-12-03
*	Add tuple lemmas	Jason Gross	2016-11-22
*	Add impl_under_tower	Jason Gross	2016-11-22
*	Add hlistP	Jason Gross	2016-11-22
*	Add rhlist	Jason Gross	2016-11-22
*	Add tower_nd	Jason Gross	2016-11-22
*	Add fieldwise_map	Jason Gross	2016-11-17
*	Add HList.mapt_Proper	Jason Gross	2016-11-17
*	Update AddCoordinates	Jason Gross	2016-11-17
*	Move util definitions to util folder	Jason Gross	2016-11-17
*	Add fieldwise_eq_edwards_extended_add_coordinates_carry_nocarry	Jason Gross	2016-11-17
*	use @implicits in rewrite (8.4)	Andres Erbsen	2016-11-11
*	Lemmas about winit, wlast	Rob Sloan	2016-11-11
*	prove last HList admit	Andres Erbsen	2016-11-11
*	prove admits in Util.Tuple	Andres Erbsen	2016-11-11
*	Fix for Coq 8.4	Jason Gross	2016-11-11
*	Most of the admits in Ed25519.v	Rob Sloan	2016-11-11
*	Add Tuple and HList lemmas	Jason Gross	2016-11-10
*	Fix for 8.4	Jason Gross	2016-11-10
*	Hint Rewrite is section-local; move to top-level	Jason Gross	2016-11-10
*	Remove WordizeUtil dependency from WordUtil	Rob Sloan	2016-11-09
*	Rebase + remove WordizeUtil dependency from Z/Interpretations	Rob Sloan	2016-11-09
\|\
\| *	Rewrite cast_word so that it's extracted better	Jason Gross	2016-11-09
\| *	Fix bug in 8.4	Jason Gross	2016-11-09
* \|	Finished WordUtil, word operations in Z/Interpretation	Rob Sloan	2016-11-09
\| *	Add assoc_right	Jason Gross	2016-11-09
\| *	Fix Tuple.map2_S	Jason Gross	2016-11-09
* \|	Not quite done with WordUtil lemmas.	Robert Sloan	2016-11-08
\|\ \
\| \| *	Add Tuple.map2_S	Jason Gross	2016-11-08
\| \| *	Fix precedence issue with 8.4	Jason Gross	2016-11-08
\| \| *	Add map2_map{,_fst,_snd}	Jason Gross	2016-11-08
\| \| *	Add hlist_map	Jason Gross	2016-11-08
\| \| *	Prove things in ModularBaseSystemListZOperationsProofs	Jason Gross	2016-11-08
\| \|/
\| *	Add HList.const	Jason Gross	2016-11-08
\| *	Rename iffT, add some lemmas about tuple and hlist	Jason Gross	2016-11-08
\| *	Add log2_lt_pow2_alt	Jason Gross	2016-11-08
\| *	Work around bug in 8.4	Jason Gross	2016-11-08
\| *	Work around bug 5189 (broken [Hint Resolve ->])	Jason Gross	2016-11-08
\| *	Add Z.lor_nonneg to zarith	Jason Gross	2016-11-08
\| *	Add push_lift_option	Jason Gross	2016-11-07
\| *	Add map_is_mapt'	Jason Gross	2016-11-07
\| *	Add IffT, some Proper prod lemmas	Jason Gross	2016-11-07
\| *	Add Proper prod instance	Jason Gross	2016-11-07
\| *	Add convoy_destruct	Jason Gross	2016-11-07
\| *	Add tuple hd and tl	Jason Gross	2016-11-07
\| *	Add more admitted tuple lemmas	Jason Gross	2016-11-06
\| *	Add more admitted tuple lemmas	Jason Gross	2016-11-06
\| *	Add Tuple.map_map2 (admitted)	Jason Gross	2016-11-06
\| *	Add HList lemma	Jason Gross	2016-11-06
\| *	Add admitted lemma about tuple map, add hlist lem	Jason Gross	2016-11-06