projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa9d296) | patch
Refactor rewriting of arithmetic atoms (#8175)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 28 Feb 2022 23:15:27 +0000 (00:15 +0100)
committerGitHub <noreply@github.com>
Mon, 28 Feb 2022 23:15:27 +0000 (23:15 +0000)
commit95a9b6e26bac6a822248563681c1943d35367528
treebc94b7e6a4f641867b8abf51823789e3e2e796c9tree
parentfa9d296d9b11814df62675bf8fa93c5f7e5da90ecommit | diff
Refactor rewriting of arithmetic atoms (#8175)

This PR uses the new utilities for atom rewriting in the arithmetic rewriter.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history