aboutsummaryrefslogtreecommitdiff
path: root/src/Curves/Weierstrass
Commit message (Expand)AuthorAge
* parenthesize proofs in Weierstrass.Projective (closes #456)Gravatar Andres Erbsen2018-11-11
* Generalize Jacobian.v over all a.Gravatar David Benjamin2018-04-25
* Factor out fsatz lemmasGravatar Jason Gross2018-01-09
* Replace char_ge_12 with char_ge_3Gravatar Jason Gross2018-01-09
* Massively speed up JacobianGravatar Jason Gross2018-01-09
* Revert "Replace char_ge_12 with char_ge_3"Gravatar Jason Gross2018-01-09
* Replace char_ge_12 with char_ge_3Gravatar Jason Gross2018-01-09
* Jabobian.v: par -> allGravatar Andres Erbsen2018-01-09
* src/Curves/Weierstrass/Jacobian.v: specialized destruct_head_*Gravatar Andres Erbsen2018-01-09
* @davidben merged Jacobian+affine into Jacobian+JacobianGravatar Andres Erbsen2018-01-09
* Jacobian coordinatesGravatar Andres Erbsen2018-01-09
* projective Weierstrass: (P2 = 2Q -> P = Q) -> not exceptionalGravatar Andres Erbsen2017-10-18
* match C code in Jacobian additionGravatar Andres Erbsen2017-06-27
* Weierstrass Jacobian mixed additionGravatar Andres Erbsen2017-06-23
* Don't rely on autogenerated namesGravatar Jason Gross2017-06-05
* Strip trailing whitespaceGravatar Jason Gross2017-06-02
* Prove relationship between `xzladderstep` and M.add (#162)Gravatar Andres Erbsen2017-04-28
* clean elliptic curve proofs, use par: in WeierstrassAffineProofsGravatar Andres Erbsen2017-04-28
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 23:31:07 +0000