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 |