| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | remove trailing whitespace from src/ |  Andres Erbsen | 2016-06-20 |
| * | move nsatz into tactics directory | Andres Erbsen | 2016-06-20 |
| * | port CompleteEdwardsCurve.ExtendedCoordinates, make [field_algebra] try fewer... | Andres Erbsen | 2016-06-18 |
| * | edwards curve addition respects field homomorphism | Andres Erbsen | 2016-06-16 |
| * | prove ring admits | Andres Erbsen | 2016-06-16 |
| * | edwards curve preliminaries: replace oncurve proof with nsatz | Andres Erbsen | 2016-06-16 |
| * | nsatz: reimplement, integrate, demonstrate | Andres Erbsen | 2016-06-15 |
| * | refactor nsatz wrappers into algebra file | Andres Erbsen | 2016-06-14 |
| * | [field] and [nsatz] do things now again | Andres Erbsen | 2016-06-14 |
| * | stuck because overloading-by-typeclasses sucks | Andres Erbsen | 2016-06-13 |
| * | generic field definition | Andres Erbsen | 2016-06-07 |
| * | Finish absolutizing imports |  Jason Gross | 2016-03-10 |
| * | port some edwards curve theorems | Andres Erbsen | 2016-02-12 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |