fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
...
\| *	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
\| *	Add Tuple lift push	Jason Gross	2016-11-06
\| *	Add functions for [tuple (option _) _]	Jason Gross	2016-11-06
\| *	Z.ltb_to_lt now works in the goal, too	Jason Gross	2016-11-05
\| *	Add reflect_iff_gen to Bool.v	Jason Gross	2016-11-05
\| *	put EdDSA encoding sign bit at the MSB	Andres Erbsen	2016-11-04
\| *	Fix divergence of Ltac match in 8.4	Jason Gross	2016-11-02
\| *	improve some fragile proofs (built on 8.4)	Andres Erbsen	2016-11-02
\| *	Add ZUtil.Z.log2_ones_lt_nonneg	Jason Gross	2016-11-02
\| *	Add more ZUtil	Jason Gross	2016-11-02
\| *	Add ZUtil lemma	Jason Gross	2016-11-02
\| *	Add ZUtil lemma	Jason Gross	2016-11-02
\| *	Add a ZUtil lemma	Jason Gross	2016-11-02
\| *	Change hlist implicit status	Jason Gross	2016-11-01
\| *	Move hlist to new file	Jason Gross	2016-11-01
* \|	More of jgross admits, less neg and the cmovs	Rob Sloan	2016-11-01
\| *	Fix a typo in the previous commit	Jason Gross	2016-11-01
\| *	Generalize hlist	Jason Gross	2016-11-01
\| *	Add hlist to tuple	Jason Gross	2016-11-01
\| *	Add some interpretations things, speed up proofs in Ed25519	Jason Gross	2016-10-31
* \|	most of jgross' admits	Rob Sloan	2016-10-31
\| *	Fix for 8.5 build?	Jason Gross	2016-10-30
\| *	Add trueify to src/Util/PartiallyReifiedProp.v	Jason Gross	2016-10-30
\| *	Add to_prop_and_reified_Prop	Jason Gross	2016-10-30
\| *	Add break_innermost_match	Jason Gross	2016-10-30
\| *	Fix a loop in PartiallyReifiedProp	Jason Gross	2016-10-30