| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |