aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/MontgomeryP256_128.v
Commit message (Expand)AuthorAge
* Support p256 / montgomery in json formatGravatar Jason Gross2017-10-18
* Factor out some of the preglue synthesis codeGravatar Jason Gross2017-07-08
* Fix misnamed references in Specific/ (broke after saturated arithetic reorg)Gravatar jadep2017-06-30
* Fix unfolding to not unfold sub_with_get_borrow in P256Gravatar Jason Gross2017-06-29
* More proof fixingGravatar Jason Gross2017-06-26
* Remove an admitGravatar Jason Gross2017-06-26
* Add nonzero synthesisGravatar Jason Gross2017-06-26
* Clean up some montgomery wbw instantiation, make displayGravatar Jason Gross2017-06-24
* Add (partially admitted) integration tests for add, sub, oppGravatar Jason Gross2017-06-22
* P256: Partial work on add, sub, oppGravatar Jason Gross2017-06-22
* P256: Keep around < eval N boundsGravatar Jason Gross2017-06-22
* Add tighter bounds to MontgomeryP256{,_128}Gravatar Jason Gross2017-06-22
* Make use of new conditional_subtractGravatar Jason Gross2017-06-20
* No small in MP256 spec (wrong place), s/native/vm/Gravatar Jason Gross2017-06-19
* Improve mulmod_256 specsGravatar Jason Gross2017-06-19
* Add smallness of output to montgomery synthesisGravatar Jason Gross2017-06-19
* mulmod: sig type in terms of equivalence modulo pGravatar Jason Gross2017-06-18
* Don't unfold MulSplitGravatar Jason Gross2017-06-18
* Update wbw to work with new apiGravatar Jason Gross2017-06-18
* Use uint128_t for 128-bit montgomeryGravatar Jason Gross2017-06-17
* Add 128-bit version of montgomery for testingGravatar Jason Gross2017-06-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 08:31:15 +0000