| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Initial commit |   Jason A. Donenfeld | 6 years | |
| Age | Commit message | Author | Files | Lines |
| 2020-01-28 | Initial commitHEADmaster | Jason A. Donenfeld | 3 | -0/+982 |
| Clone | ||||
| https://git.zx2c4.com/vale-gf25519-verification | ||||
| git://git.zx2c4.com/vale-gf25519-verification | ||||
| ssh://git@git.zx2c4.com/vale-gf25519-verification | ||||
 |
index : vale-gf25519-verification | |
| SAT solver verification of Vale's field arithmetic | Jason A. Donenfeld |
| summaryrefslogtreecommitdiffstats |