aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/Karatsuba.v
Commit message (Expand)AuthorAge
* More fine-grained tactics importsGravatar Jason Gross2017-07-08
* prove an admit in ArithmeticSynthesisTestGravatar Andres Erbsen2017-07-06
* add missing importGravatar jadep2017-06-30
* Reorganization of saturated arithmeticGravatar jadep2017-06-29
* Remove a PrintGravatar Jason Gross2017-06-17
* ed448 mul: use two carry chains to fix bounds (still silly otherwise)Gravatar Andres Erbsen2017-06-15
* fix wrong number of limbs for square as wellGravatar jadep2017-06-15
* fix wrong number of limbsGravatar jadep2017-06-15
* Added reduce to karatsuba synthesisGravatar jadep2017-06-15
* fix goldilocks karatsuba; TODO implement reduceGravatar Andres Erbsen2017-06-14
* Don't unfold id_with_altGravatar Jason Gross2017-06-13
* Remove use of id_tuple_with_alt_proofGravatar Jason Gross2017-06-12
* Factor karatsuba through IdfunWithAlt, add testGravatar Jason Gross2017-06-11
* Fix broken implicitsGravatar Jason Gross2017-06-08
* first stage of synthesis for karatsuba with alt-bounds hack, contains several...Gravatar jadep2017-06-07
* Make Karatsuba depend on Arithmetic/Core to make calling it less of a painGravatar jadep2017-06-02
* pulled in a CPS version of Karatsuba from another branchGravatar jadep2017-06-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 18:35:21 +0000