aboutsummaryrefslogtreecommitdiff
path: root/src/Curves/Weierstrass/Jacobian.v
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 19:42:07 +0000