aboutsummaryrefslogtreecommitdiff
path: root/p521_32.c
Commit message (Expand)AuthorAge
* Rebuild .c filesGravatar Jason Gross2019-03-31
* Use Preconditions: Postconditions:, rather than /\ and ->Gravatar 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
* Also display the carry chain in a commentGravatar Jason Gross2019-01-26
* 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
* 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