projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac2ccdf) | 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>
Mon, 20 May 2013 20:50:31 +0000 (16:50 -0400)
commit01654ea86af49fdf0859811f09c64de66dcc9f59
tree1763b4015d635591a6b95d2081d93b6fa774827ftree
parentac2ccdf44ac9011bceb50faac23e309c3a370e20commit | 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