Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Support p256 / montgomery in json format | 2017-10-18 | |
* | Factor out some of the preglue synthesis code | 2017-07-08 | |
* | Fix misnamed references in Specific/ (broke after saturated arithetic reorg) | 2017-06-30 | |
* | Fix unfolding to not unfold sub_with_get_borrow in P256 | 2017-06-29 | |
* | More proof fixing | 2017-06-26 | |
* | Remove an admit | 2017-06-26 | |
* | Add nonzero synthesis | 2017-06-26 | |
* | Clean up some montgomery wbw instantiation, make display | 2017-06-24 | |
* | Add (partially admitted) integration tests for add, sub, opp | 2017-06-22 | |
* | P256: Partial work on add, sub, opp | 2017-06-22 | |
* | P256: Keep around < eval N bounds | 2017-06-22 | |
* | move Specifi p256 files into their own directory | 2017-06-22 |