projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd84403) | patch
Re-enabling ite simplification in incremental mode - no reason why
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 9 May 2016 22:21:22 +0000 (15:21 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 9 May 2016 22:21:22 +0000 (15:21 -0700)
commitc15ff43597b41ea457befecb1b0e2402e28cb523
tree54bcae42b1a8363eb37cb12512e7b0ede3687cbctree
parentdd84403eb19b769d80b4c57ae690ba14c02df041commit | diff
Re-enabling ite simplification in incremental mode - no reason why
it should be a problem.
src/theory/theory_engine.cpp diff | blob | history