projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0cf8fd) | patch
This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues to...
authorTim King <taking@cs.nyu.edu>
Sun, 25 Nov 2012 00:49:25 +0000 (00:49 +0000)
committerTim King <taking@cs.nyu.edu>
Sun, 25 Nov 2012 00:49:25 +0000 (00:49 +0000)
commit493129f815d0e45ee72ffb782632d98fc25fe2f1
tree38000a036fe89b5f50bf907586608298863b6b35tree
parente0cf8fd2f61a34b65a0baf3585fd2bfdd0165b2bcommit | diff
This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues to a problem of not correctly handling disequalities.  Performance implications are uncertain.
src/theory/arith/constraint.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history