aboutsummaryrefslogtreecommitdiff
path: root/src/Specific
Commit message (Expand)AuthorAge
* Make displayGravatar Jason Gross2017-06-17
* Add bool into P256Gravatar Jason Gross2017-06-17
* make displayGravatar Jason Gross2017-06-17
* Finish MontgomeryP256 (less conditional subtract)Gravatar Jason Gross2017-06-17
* Add initial IntegrationTestMontgomeryP256.vGravatar Jason Gross2017-06-17
* Fix a typoGravatar Jason Gross2017-06-17
* Define m in p256Gravatar Jason Gross2017-06-17
* Fix spellingGravatar Jason Gross2017-06-17
* fix WWMM partial evaluationGravatar Andres Erbsen2017-06-16
* Unfold more things in src/Specific/MontgomreyP256Gravatar Jason Gross2017-06-16
* Switch to using tuples for word-by-word montgomeryGravatar Jason Gross2017-06-16
* Fix buildGravatar Jason Gross2017-06-16
* Revert PR #203Gravatar Jason Gross2017-06-16
* update ocq2C sed scriptGravatar Andres Erbsen2017-06-16
* make displayGravatar Jason Gross2017-06-16
* Make use of CArrayNotationsGravatar Jason Gross2017-06-16
* montgomery p256 in Specific WIPGravatar Andres Erbsen2017-06-16
* make displayGravatar Jason Gross2017-06-15
* Finish karatsuba mul, add display file (#199)Gravatar Jason Gross2017-06-15
* ed448 mul: use two carry chains to fix bounds (still silly otherwise)Gravatar Andres Erbsen2017-06-15
* Show the bounds going wrong in karatsubaGravatar Jason Gross2017-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
* Move temporary CNotations importGravatar Jason Gross2017-06-13
* Remove use of id_tuple_with_alt_proofGravatar Jason Gross2017-06-12
* Add a Show to keep track of where we are in karatsubaGravatar Jason Gross2017-06-12
* WIP on src/Specific/IntegrationTestKaratsubaMul.vGravatar Jason Gross2017-06-12
* Factor karatsuba through IdfunWithAlt, add testGravatar Jason Gross2017-06-11
* Fix broken implicitsGravatar Jason Gross2017-06-08
* start saturated-arithmetic API for use in Montgomery (see discussion in #157)Gravatar jadep2017-06-08
* first stage of synthesis for karatsuba with alt-bounds hack, contains several...Gravatar jadep2017-06-07
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* 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
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
* Only use bool in freezeGravatar Jason Gross2017-05-21
* fix last wide mul in curve25519-51Gravatar Andres Erbsen2017-05-20
* src/Specific/x25519_c64.c.sh: use exact donna skeletonGravatar Andres Erbsen2017-05-20
* make displayGravatar Jason Gross2017-05-20
* make display (freeze, fully notationified)Gravatar Jason Gross2017-05-20
* make displayGravatar Jason Gross2017-05-20
* make displayGravatar Jason Gross2017-05-20
* make display (freeze, ladderstep with adc)Gravatar Jason Gross2017-05-17
* Add compiler optimization for add-with-carryGravatar Jason Gross2017-05-17
* make display (with adc, bool)Gravatar Jason Gross2017-05-17
* make displayGravatar Jason Gross2017-05-17
* Add reflective machinery for adc, zselectGravatar Jason Gross2017-05-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 14:22:02 +0000