projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f341b6) | patch
decision/ : jh: refactor embedded ITE, other minor
authorKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 17 Feb 2013 00:58:07 +0000 (19:58 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Sun, 17 Feb 2013 00:58:07 +0000 (19:58 -0500)
commit3e495881142c623d9099869dba1147b6ea5ebae5
treeb214a2ad56a9a9a108969dc9a748aea79b66b7d5tree
parent8f341b6dc401a780f4a84fd4c51063242e885149commit | diff
decision/ : jh: refactor embedded ITE, other minor

other minor: cleanup some remaning fragments of GiveUpException(),
hopefully all is gone now.
src/decision/justification_heuristic.cpp diff | blob | history
src/decision/justification_heuristic.h diff | blob | history