projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95df801) | patch
Fixed bug causing QF_LIA/solver_cvc4/incorrect1.smt and QF_LIA/solver_cvc4/incorrect3.smt
authorClark Barrett <barrett@cs.nyu.edu>
Tue, 12 Jun 2012 17:31:35 +0000 (17:31 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Tue, 12 Jun 2012 17:31:35 +0000 (17:31 +0000)
commit43dd3569232fd72d7791db7dd113bdff0bdf916d
tree583e424a623665c7de1195cb6da1bd25e1c91145tree
parent95df801fff9c60b4c69abba0a745011a43779c9fcommit | diff
Fixed bug causing QF_LIA/solver_cvc4/incorrect1.smt and QF_LIA/solver_cvc4/incorrect3.smt
src/theory/ite_simplifier.cpp diff | blob | history