index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Curves
/
Weierstrass
Commit message (
Expand
)
Author
Age
*
parenthesize proofs in Weierstrass.Projective (closes #456)
Andres Erbsen
2018-11-11
*
Generalize Jacobian.v over all a.
David Benjamin
2018-04-25
*
Factor out fsatz lemmas
Jason Gross
2018-01-09
*
Replace char_ge_12 with char_ge_3
Jason Gross
2018-01-09
*
Massively speed up Jacobian
Jason Gross
2018-01-09
*
Revert "Replace char_ge_12 with char_ge_3"
Jason Gross
2018-01-09
*
Replace char_ge_12 with char_ge_3
Jason Gross
2018-01-09
*
Jabobian.v: par -> all
Andres Erbsen
2018-01-09
*
src/Curves/Weierstrass/Jacobian.v: specialized destruct_head_*
Andres Erbsen
2018-01-09
*
@davidben merged Jacobian+affine into Jacobian+Jacobian
Andres Erbsen
2018-01-09
*
Jacobian coordinates
Andres Erbsen
2018-01-09
*
projective Weierstrass: (P2 = 2Q -> P = Q) -> not exceptional
Andres Erbsen
2017-10-18
*
match C code in Jacobian addition
Andres Erbsen
2017-06-27
*
Weierstrass Jacobian mixed addition
Andres Erbsen
2017-06-23
*
Don't rely on autogenerated names
Jason Gross
2017-06-05
*
Strip trailing whitespace
Jason Gross
2017-06-02
*
Prove relationship between `xzladderstep` and M.add (#162)
Andres Erbsen
2017-04-28
*
clean elliptic curve proofs, use par: in WeierstrassAffineProofs
Andres Erbsen
2017-04-28
*
rename-everything
Andres Erbsen
2017-04-06