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