projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f10c78) | patch
--fallback-sequential / --no-fallback-sequential option
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 19 Oct 2012 00:56:11 +0000 (00:56 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 19 Oct 2012 00:56:11 +0000 (00:56 +0000)
commit28af31bf1efff6fc143da3a9db9996162c2befab
tree0d2648eaf6b4793c7faf39a99a9b308910d2c046tree
parent7f10c78f572debd0ddf717bfb9f9453a42c015cbcommit | diff
--fallback-sequential / --no-fallback-sequential option
closes bug 419, fix typo, fix warning

(this commit was certified error- and warning-free by the test-and-commit script.)
INSTALL diff | blob | history
src/main/command_executor_portfolio.cpp diff | blob | history
src/main/options diff | blob | history
src/theory/quantifiers/model_builder.cpp diff | blob | history