git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Sat, 7 Sep 2019 01:52:16 +0000 (20:52 -0500)
committer	GitHub <noreply@github.com>
	Sat, 7 Sep 2019 01:52:16 +0000 (20:52 -0500)
commit	1c09572e0e2031519a103caa2a4af0d9bd34a9c5
tree	576012b4e9434bd4b8472b5df766d3836d3145b9	tree
parent	856701f3b2154646eab6b7898fa33e5917322a7b	commit \| diff

Remove portfolio (#3236)

34 files changed:

CMakeLists.txt		diff \| blob \| history
cmake/ConfigDebug.cmake		diff \| blob \| history
cmake/ConfigProduction.cmake		diff \| blob \| history
cmake/ConfigTesting.cmake		diff \| blob \| history
configure.sh		diff \| blob \| history
doc/CMakeLists.txt		diff \| blob \| history
licenses/channel.h-LICENSE	[deleted file]	blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/pickle_data.cpp	[deleted file]	blob \| history
src/expr/pickle_data.h	[deleted file]	blob \| history
src/expr/pickler.cpp	[deleted file]	blob \| history
src/expr/pickler.h	[deleted file]	blob \| history
src/main/CMakeLists.txt		diff \| blob \| history
src/main/command_executor_portfolio.cpp	[deleted file]	blob \| history
src/main/command_executor_portfolio.h	[deleted file]	blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/portfolio.cpp	[deleted file]	blob \| history
src/main/portfolio.h	[deleted file]	blob \| history
src/main/portfolio_util.cpp	[deleted file]	blob \| history
src/main/portfolio_util.h	[deleted file]	blob \| history
src/options/didyoumean_test.cpp		diff \| blob \| history
src/options/main_options.toml		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/options/options_public_functions.cpp		diff \| blob \| history
src/options/options_template.cpp		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/dump.h		diff \| blob \| history
src/smt_util/lemma_output_channel.h		diff \| blob \| history
src/util/CMakeLists.txt		diff \| blob \| history
src/util/channel.h	[deleted file]	blob \| history

RSS Atom