projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52b216f) | patch
Minor improvement to evaluator (#3570)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 16 Dec 2019 06:22:40 +0000 (00:22 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 16 Dec 2019 06:22:40 +0000 (22:22 -0800)
commit0e5efa8c4ff22925d3fc011a3588a3e67c107d0e
tree88ed490687dc49432dc0919eaa6043a64444bfddtree
parent52b216f385c0b1c1a9bb0ab8541683d9e13a7f46commit | diff
Minor improvement to evaluator (#3570)

Fixes a bug where we don't return the partially evaluated version (for unevaluatable nodes). Also adds `NONLINEAR_MULT` whose semantics is identical to `MULT`.
src/theory/evaluator.cpp diff | blob | history