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