| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fold Karatsuba into json format and synthesis |  Jason Gross | 2017-10-18 |
| * | Reorgainze synthesis framework files into a Framework folder | Jason Gross | 2017-10-18 |
| * | Factor out some of the preglue synthesis code | Jason Gross | 2017-07-08 |
| * | Finish karatsuba mul, add display file (#199) |  Jason Gross | 2017-06-15 |
| * | ed448 mul: use two carry chains to fix bounds (still silly otherwise) |  Andres Erbsen | 2017-06-15 |
| * | Show the bounds going wrong in karatsuba | Jason Gross | 2017-06-15 |
| * | Move temporary CNotations import | Jason Gross | 2017-06-13 |
| * | Add a Show to keep track of where we are in karatsuba | Jason Gross | 2017-06-12 |
| * | WIP on src/Specific/IntegrationTestKaratsubaMul.v | Jason Gross | 2017-06-12 |
| * | Factor karatsuba through IdfunWithAlt, add test | Jason Gross | 2017-06-11 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |