diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-30 21:01:07 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-30 21:01:07 -0800 |
commit | bb25127f32d46c60fbc99111df7c278d18c9ba33 (patch) | |
tree | 3377181222efba76be911604e8f179d3c90d7cb9 /contrib | |
parent | a456ef81b15e2f8612cd41a31ad811af35f47846 (diff) |
Fix arithmetic rewriter for exponentialfix3683
Fixes #3683. When rewriting `exp(2 + x)`, we did not reach a fix-point
after a single call to the rewriter. We rewrote it to `exp(2) * exp(x)`
instead of rewriting `exp(2)` further. This commit fixes the issue by
making the rewrite response `REWRITE_AGAIN_FULL` s.t. we rewrite the
subterms of the term we created.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions