Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |