projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af44cd2) | patch
* Add support for --decision=justification + incremental (bug 437)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 4 Dec 2012 21:41:51 +0000 (21:41 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 4 Dec 2012 21:41:51 +0000 (21:41 +0000)
commit7efd777609f7fbc20701402ad949971cbc251f8f
tree88283b279c87ded14f5ecc7b1a54aa084c19139atree
parentaf44cd27d5b079f1279c407e610e557e81285d8fcommit | diff
* Add support for --decision=justification + incremental (bug 437)
 - Fix a destruction order issue this triggered in DE

(this commit was certified error- and warning-free by the test-and-commit script.)
src/decision/decision_engine.cpp diff | blob | history
src/decision/decision_engine.h diff | blob | history
src/decision/justification_heuristic.cpp diff | blob | history
src/decision/justification_heuristic.h diff | blob | history