projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4801f55) | patch
Calling the setIncompleteness() flag on all full checks once a non-linear term has...
authorTim King <taking@cs.nyu.edu>
Sat, 29 Sep 2012 20:42:16 +0000 (20:42 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 29 Sep 2012 20:42:16 +0000 (20:42 +0000)
commitc89b0605d5ff327f140f3b0be87796f086228640
tree9ef989608184632e689a72d8a0edf8c1928721f4tree
parent4801f553640a7005eb26e89a1635f16669a13631commit | diff
Calling the setIncompleteness() flag on all full checks once a non-linear term has been seen.
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/arith/theory_arith.h diff | blob | history