projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d30555) | patch
Fix for a problem caused by using a != instead of == in generateConflictBelow()....
authorTim King <taking@cs.nyu.edu>
Fri, 29 Oct 2010 21:10:46 +0000 (21:10 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 29 Oct 2010 21:10:46 +0000 (21:10 +0000)
commitb3ce68e7803dcb868004155b6d61a88a8dbe6c6f
tree3927716d52c4f06ff606803d30c9949413c5556dtree
parent4d305551927b2a667acaa796fb86d86aa6364b01commit | diff
Fix for a problem caused by using a != instead of == in generateConflictBelow(). Resolves a bug introduced in -r1063.
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/tableau.cpp diff | blob | history