projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ee52cf) | patch
"Fix" (disable) portfolio when using quantifiers
authorKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 1 Oct 2012 22:11:26 +0000 (22:11 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Mon, 1 Oct 2012 22:11:26 +0000 (22:11 +0000)
commit35ac65b0034eacf2766d9e94be1c7fe9c116bb75
treede4a0848b08485fa2d9fa60738e0a47b5c876dc5tree
parent2ee52cf8ccaa2e4514cd0e2023ee71a2b8b8d467commit | diff
"Fix" (disable) portfolio when using quantifiers

Other changes:
* fix compile error in smt_engine in debug builds
* add getLogicInfo in smt_engine
* remove "empty-channel" and "disable-lemma-sharing" debug tags

(this commit was certified error- and warning-free by the test-and-commit script.)
src/main/command_executor_portfolio.cpp diff | blob | history
src/main/portfolio_util.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history