| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Montgomery.XZ, Loops: montladder proof scaffolding |  Andres Erbsen | 2017-12-22 |
| * | Loops (trying again) (#259) |  Andres Erbsen | 2017-12-11 |
| * | automate some proofs; also remove trace-based reasoning in favor of induction... |  jadep | 2017-10-26 |
| * | invariants don't need to know the fuel | jadep | 2017-10-26 |
| * | WIP: loops | jadep | 2017-10-26 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |