Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove a Print | 2017-06-17 | |
* | ed448 mul: use two carry chains to fix bounds (still silly otherwise) | 2017-06-15 | |
* | fix wrong number of limbs for square as well | 2017-06-15 | |
* | fix wrong number of limbs | 2017-06-15 | |
* | Added reduce to karatsuba synthesis | 2017-06-15 | |
* | fix goldilocks karatsuba; TODO implement reduce | 2017-06-14 | |
* | Don't unfold id_with_alt | 2017-06-13 | |
* | Remove use of id_tuple_with_alt_proof | 2017-06-12 | |
* | 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 |