projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 315eb7e) | patch
Fix erroneous results when the logic was incorrectly specified (by throwing LogicExce...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 10 May 2013 17:01:02 +0000 (13:01 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 10 May 2013 17:02:46 +0000 (13:02 -0400)
commit7f13c0713accdefa46ce2a43dbeae8c46255bea1
tree13110353d5a45c0970e1fc4928f863e45c732e50tree
parent315eb7e44cada64fd9b8a2b4ab9b9cac66758769commit | diff
Fix erroneous results when the logic was incorrectly specified (by throwing LogicException).  Also correct a case where sharing was doing some work during pure theory solving.
src/theory/term_registration_visitor.cpp diff | blob | history
src/theory/term_registration_visitor.h diff | blob | history
src/theory/theory_engine.cpp diff | blob | history