Code

Decide point equality#1848

Code

Merged

andres-erbsen merged 2 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom andres-erbsen:EdwardsMontgomery25519Bandres-erbsen/fiat-crypto:EdwardsMontgomery25519BCopy head branch name to clipboardApr 4, 2024

+36-14

Commits

Commits on Apr 3, 2024

• decide point equality

  andres-erbsen

  committed
  2de8dc1

  Copy full SHA for 2de8dc1

Commits on Apr 4, 2024

• fixup

  andres-erbsen

  authored
  f921bcd

  Copy full SHA for f921bcd