index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Util
/
Tuple.v
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
[prev]