projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b60326) | patch
Slightly refactor arithmetic rewriting for extended operators (#8169)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 25 Feb 2022 20:17:34 +0000 (21:17 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Feb 2022 20:17:34 +0000 (20:17 +0000)
commit4d3777a52c6d6342db60dd8525e7ba26bb19eb91
tree86ab0a538b4c52675f91e2f3bbbb9d9ffe67678ctree
parent0b603261b43424bd0a08db4d9422ff7d005c33cbcommit | diff
Slightly refactor arithmetic rewriting for extended operators (#8169)

This PR mostly reorders the implementation to match the order in the header, and does a few very minor refactorings for the rewriters for transcendental functions, and the pow2 and iand operators.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history