aboutsummaryrefslogtreecommitdiff
path: root/p384_64.c
Commit message (Expand)AuthorAge
* Rebuild .c filesGravatar Jason Gross2019-03-31
* Use Preconditions: Postconditions:, rather than /\ and ->Gravatar Jason Gross2019-02-02
* Update with davidben's and Andres' suggestionsGravatar Jason Gross2019-02-02
* Drop `map λ` bits in docstringsGravatar Jason Gross2019-02-02
* Address code review comments to improve docstringsGravatar Jason Gross2019-02-02
* Add autogenerated docstrings to synthesized codeGravatar Jason Gross2019-02-02
* Constant-propogate 0+x and x+0 after boundsGravatar Jason Gross2019-01-16
* Add a rewrite rule to collapse constant castsGravatar Jason Gross2019-01-16
* Fix computation of INTX_MINGravatar Jason Gross2019-01-15
* Don't cast signed to unsigned before shiftingGravatar Jason Gross2019-01-15
* Autocompute s and c in WBW MontgomeryGravatar Jason Gross2019-01-14
* Add some Z.le Proper hints to zarithGravatar Jason Gross2018-08-13
* Revert "Improve rewriter speed"Gravatar Jason Gross2018-07-24
* Improve rewriter speedGravatar Jason Gross2018-07-24
* Add some primes to be synthesizedGravatar Jason Gross2018-07-21