aboutsummaryrefslogtreecommitdiff
path: root/src/Experiments/NewPipeline/arith_rewrite_head.out
Commit message (Expand)AuthorAge
* move src/Experiments/NewPipeline/ to src/Gravatar Andres Erbsen2019-01-09
* Uncurry rewriter rulesGravatar Jason Gross2018-11-15
* Update the post-bounds rewrite rulesGravatar Jason Gross2018-11-11
* Split off all of the arithmetic rules that need bounds infoGravatar Jason Gross2018-11-11
* Also inline Z_cast thingsGravatar Jason Gross2018-11-01
* Add an extra check in the rewriterGravatar Jason Gross2018-10-28
* Fix a bad rewrite ruleGravatar Jason Gross2018-10-09
* Support type variables in patterns in the rewriterGravatar Jason Gross2018-09-29
* Move the associator pass to the rewriterGravatar Jason Gross2018-07-26
* Improve rewriter speedGravatar Jason Gross2018-07-25
* Revert "Improve rewriter speed"Gravatar Jason Gross2018-07-24
* Improve rewriter speedGravatar Jason Gross2018-07-24
* Montgomery reduction in new pipelineGravatar Jason Gross2018-07-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 13:07:23 +0000