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

author	Haniel Barbosa <hanielbbarbosa@gmail.com>
	Tue, 23 Mar 2021 22:27:39 +0000 (19:27 -0300)
committer	GitHub <noreply@github.com>
	Tue, 23 Mar 2021 22:27:39 +0000 (19:27 -0300)
commit	d8104e0d48a845be7653d1a541c52dea21321aed
tree	e2ae24c92d7959bb3d877372e562a5701a113db6	tree
parent	d5d526730d11d08c65aa17ea53d0dffb0a72e692	commit \| diff

Removing unused build options and deprecated proof compile flag (#6195)

33 files changed:

.github/workflows/ci.yml		diff \| blob \| history
CMakeLists.txt		diff \| blob \| history
COPYING		diff \| blob \| history
INSTALL.md		diff \| blob \| history
configure.sh		diff \| blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/base/configuration.cpp		diff \| blob \| history
src/base/configuration.h		diff \| blob \| history
src/base/configuration_private.h		diff \| blob \| history
src/options/options_handler.cpp		diff \| blob \| history
src/options/options_handler.h		diff \| blob \| history
src/options/smt_options.toml		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine_scope.cpp		diff \| blob \| history
test/CMakeLists.txt		diff \| blob \| history
test/regress/regress0/arrays/issue3814.smt2		diff \| blob \| history
test/regress/regress0/bv/ackermann2.smt2		diff \| blob \| history
test/regress/regress0/bv/bv_to_int_5230_binary.smt2		diff \| blob \| history
test/regress/regress0/bv/bv_to_int_5230_missing_op.smt2		diff \| blob \| history
test/regress/regress0/bv/bv_to_int_5230_shift_const.smt2		diff \| blob \| history
test/regress/regress0/bv/core/slice-12.smtv1.smt2		diff \| blob \| history
test/regress/regress0/dump-unsat-core-full.smt2		diff \| blob \| history
test/regress/regress0/nl/issue3959.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/dump-inst-proof.smt2		diff \| blob \| history
test/regress/regress1/sygus-abduct-test-ccore.smt2		diff \| blob \| history
test/regress/regress1/sygus-abduct-test-user.smt2		diff \| blob \| history
test/regress/regress1/sygus/abd-simple-conj-4.smt2		diff \| blob \| history
test/regress/regress1/sygus/abduction_1255.corecstrs.readable.smt2		diff \| blob \| history
test/regress/regress1/sygus/abduction_streq.readable.smt2		diff \| blob \| history
test/regress/regress1/sygus/array_search_2.sy		diff \| blob \| history
test/regress/run_regression.py		diff \| blob \| history
test/unit/CMakeLists.txt		diff \| blob \| history
test/unit/api/solver_black.cpp		diff \| blob \| history

RSS Atom