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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 26 Feb 2020 08:08:20 +0000 (00:08 -0800)
committer	GitHub <noreply@github.com>
	Wed, 26 Feb 2020 08:08:20 +0000 (00:08 -0800)
commit	50c31e61ab240ccd551a0aea732f8b9a88d7fb32
tree	30531d1f4813ed399209d198ca1eb75ac6f9dc30	tree
parent	b28ff31b6713791f27b4860f439aaa3f63aab9d7	commit \| diff

Remove portfolio leftovers (#3821)

Commit 1c09572e0e2031519a103caa2a4af0d9bd34a9c5 removed the portfolio
build but there were some leftovers. This commit removes them.

21 files changed:

configure.sh		diff \| blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/bindings/java/CMakeLists.txt		diff \| blob \| history
src/main/command_executor.h		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/prop/cnf_stream.h		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/prop/prop_engine.h		diff \| blob \| history
src/prop/theory_proxy.cpp		diff \| blob \| history
src/prop/theory_proxy.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/smt_util/lemma_channels.cpp	[deleted file]	blob \| history
src/smt_util/lemma_channels.h	[deleted file]	blob \| history
src/smt_util/lemma_input_channel.h	[deleted file]	blob \| history
src/smt_util/lemma_output_channel.h	[deleted file]	blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
test/unit/prop/cnf_stream_white.h		diff \| blob \| history

RSS Atom