fiat-crypto - fast, formally verified cryptography

	Commit message (Expand)	Author	Age
...
*	Add Tuple lift push	Jason Gross	2016-11-06
*	Add functions for [tuple (option _) _]	Jason Gross	2016-11-06
*	Move hlist to new file	Jason Gross	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
*	Fix implicit status of curry	Jason Gross	2016-10-27
*	Add curry and uncurry to tuple	Jason Gross	2016-10-27
*	Fix for Coq 8.4	Jason Gross	2016-10-24
*	Add more relations about fieldwise	Jason Gross	2016-10-24
*	Add Tuple.map2	Jason Gross	2016-10-19
*	Ed25519: add basepoint and prove most EdDSA preconditions	Andres Erbsen	2016-10-10
*	Add Tuple.map	Jason Gross	2016-09-29
*	Move side lemmas to appropriate files	jadep	2016-09-17
*	Fully qualify [Require]s	Jason Gross	2016-09-08
*	Defined an equality comparison for tuples that uses bool instead of Prop (lik...	jadep	2016-08-31
*	Add length lemmas	Jason Gross	2016-08-12
*	Make the library 20% faster: [auto with *] is evil	Jason Gross	2016-07-22
*	tuple: applying functions to tuples of arbitrary length	Andres Erbsen	2016-07-12
*	Merge of fixedlength and master	jadep	2016-07-11
\|\
\| *	[congruence] is more powerful in 8.5 than in 8.4	Andres Erbsen	2016-07-11
* \|	Util/Tuple: added a version of from_list that doesn't require a proof of leng...	jadep	2016-07-08
\| *	Util/Tuple: added a version of from_list that doesn't require a proof of leng...	jadep	2016-07-08
* \|	Tuple: lift functions from lists to tuples	Andres Erbsen	2016-07-03
\|/
*	Tuple: from_list_to_list	Andres Erbsen	2016-06-28
*	Add decidable instances for sumwise and fieldwise	Jason Gross	2016-06-27
*	Variosu 8.5 fixes	Jason Gross	2016-06-20
*	tuple tooling	Andres Erbsen	2016-06-20