projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d3777a) | patch
Refactor rewriting of arithmetic negation and subtraction (#8170)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 25 Feb 2022 20:56:21 +0000 (21:56 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Feb 2022 20:56:21 +0000 (20:56 +0000)
commit5b32209ea2dd947c4cea384b2166e1de401cb929
treeafc9fd2f969bbe91eeccda9fb092347c92d212d8tree
parent4d3777a52c6d6342db60dd8525e7ba26bb19eb91commit | diff
Refactor rewriting of arithmetic negation and subtraction (#8170)

Slightly refactor negation and subtraction, get rid of utility functions.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history