| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Initial commit | 6 years | ||
| Age | Commit message | Author | Files | Lines |
| 2020-01-28 | Initial commitHEADmaster | 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 |