projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbb8637) | patch
Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-ground...
authorMorgan Deters <mdeters@cs.nyu.edu>
Sat, 8 Mar 2014 20:33:46 +0000 (15:33 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 8 Mar 2014 20:33:46 +0000 (15:33 -0500)
commitb61f6f4a23bb3b8650fbb0fe6b96bb27012a6139
treeda7419f9ba82bbaf28d0fdcf0f615b6e954d15d8tree
parentbbb8637c877a312759547d6159be38866f47eb21commit | diff
Re-fix bug 551 by adding a check to the arith ITE simplifier to ignore non-ground ITEs also.
src/theory/arith/arith_static_learner.cpp diff | blob | history
src/util/ite_removal.cpp diff | blob | history