projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8b6775) | patch
Fix to arith to make sure it only attempts to report 1 conflict per check() call.
authorTim King <taking@cs.nyu.edu>
Mon, 14 Jun 2010 18:35:17 +0000 (18:35 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 14 Jun 2010 18:35:17 +0000 (18:35 +0000)
commit4de93c75eb2e4d724c5c19749c81df92bde55154
treee1eb1a97c6cb506d0e37fd3e3f559eb6b3a975eftree
parente8b6775c1c43a704e4e6afdefad6378fdb200fd0commit | diff
Fix to arith to make sure it only attempts to report 1 conflict per check() call.
src/theory/arith/theory_arith.cpp diff | blob | history