| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |