projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfa9e2c) | patch
Some minor changes after reviewing the portfolio "unified driver" commit.
authorMorgan Deters <mdeters@gmail.com>
Sat, 8 Sep 2012 22:31:44 +0000 (22:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 8 Sep 2012 22:31:44 +0000 (22:31 +0000)
commit480d440174c565bec9aba412c0d35221c9169ff6
tree12048b5ba5d9717d6770b5d89de23d9c7048a981tree
parentcfa9e2cbbdf77a325791b5548b41093a0781311ccommit | diff
Some minor changes after reviewing the portfolio "unified driver" commit.

(this commit was certified error- and warning-free by the test-and-commit script.)
16 files changed:
src/expr/command.h diff | blob | history
src/expr/expr_template.cpp diff | blob | history
src/main/Makefile.am diff | blob | history
src/main/command_executer.cpp [deleted file] blob | history
src/main/command_executer.h [deleted file] blob | history
src/main/command_executer_portfolio.cpp [deleted file] blob | history
src/main/command_executer_portfolio.h [deleted file] blob | history
src/main/command_executor.cpp [new file with mode: 0644] blob
src/main/command_executor.h [new file with mode: 0644] blob
src/main/command_executor_portfolio.cpp [new file with mode: 0644] blob
src/main/command_executor_portfolio.h [new file with mode: 0644] blob
src/main/driver_unified.cpp diff | blob | history
src/main/portfolio_util.cpp diff | blob | history
src/main/portfolio_util.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/util/channel.h diff | blob | history