Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Generalize Jacobian.v over all a. | 2018-04-25 | |
* | Factor out fsatz lemmas | 2018-01-09 | |
* | Replace char_ge_12 with char_ge_3 | 2018-01-09 | |
* | Massively speed up Jacobian | 2018-01-09 | |
* | Revert "Replace char_ge_12 with char_ge_3" | 2018-01-09 | |
* | Replace char_ge_12 with char_ge_3 | 2018-01-09 | |
* | Jabobian.v: par -> all | 2018-01-09 | |
* | src/Curves/Weierstrass/Jacobian.v: specialized destruct_head_* | 2018-01-09 | |
* | @davidben merged Jacobian+affine into Jacobian+Jacobian | 2018-01-09 |