| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Don't rely on autogenerated names |  Jason Gross | 2017-06-05 |
| * | use ladderstep from donna (2% faster?) |  Andres Erbsen | 2017-05-15 |
| * | Use specialized square in ladderstep | Jason Gross | 2017-05-14 |
| * | Inline a24_sig in ladderstep | Jason Gross | 2017-04-17 |
| * | Clean up ladderstep goal with help from Andres | Jason Gross | 2017-04-14 |
| * | Rewrite the ladderstep goal | Jason Gross | 2017-04-13 |
| * | Add Display files and targets | Jason Gross | 2017-04-07 |
| * | Use [refine_reflectively] again in ladderstep | Jason Gross | 2017-04-07 |
| * | Use carry_mul | Jason Gross | 2017-04-07 |
| * | Add IntegrationTestLadderstep.v | Jason Gross | 2017-04-07 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |