Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Curves: elliptic curve point format record declarations and some invariants | Andres Erbsen | 2015-09-18 | |
* | import VerdiTactics | Andres Erbsen | 2015-09-17 | |
* | redo module structure + init curve25519 | Robert Sloan | 2015-09-16 | |
* | init our centralized repo | Robert Sloan | 2015-09-10 |