Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Factor karatsuba through IdfunWithAlt, add test | 2017-06-11 | |
* | Fix broken implicits | 2017-06-08 | |
* | first stage of synthesis for karatsuba with alt-bounds hack, contains several... | 2017-06-07 | |
* | Make Karatsuba depend on Arithmetic/Core to make calling it less of a pain | 2017-06-02 | |
* | pulled in a CPS version of Karatsuba from another branch | 2017-06-02 |