projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77966f1) | patch
Refactor rewriting of arithmetic leafs (#8177)
authorGereon Kremer <gkremer@cs.stanford.edu>
Mon, 28 Feb 2022 15:45:56 +0000 (16:45 +0100)
committerGitHub <noreply@github.com>
Mon, 28 Feb 2022 15:45:56 +0000 (15:45 +0000)
commit272bdc96de6d9f6a6b071e330865ae909f50ef47
tree09ddd87b925a6494dfc741ad3d4acbad55dcb9e8tree
parent77966f11fad2979a843722ba1bbc22dab2104ff1commit | diff
Refactor rewriting of arithmetic leafs (#8177)

Minor refactoring of how we rewrite arithmetic leaf nodes (constants, algebraic numbers and "variables").
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history