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

author	Haniel Barbosa <hanielbbarbosa@gmail.com>
	Tue, 16 Mar 2021 15:19:46 +0000 (12:19 -0300)
committer	GitHub <noreply@github.com>
	Tue, 16 Mar 2021 15:19:46 +0000 (15:19 +0000)
commit	0d3ea6f2dcaf80d386c7765ee8a708c18e3ed574
tree	6dbc58a39c468cc0ab96ab7b8928a6de223333a9	tree
parent	5a879f4315d0105f8487c8718659a4f060ea634e	commit \| diff

[proof-new] Renaming proof option to be in sync with SMT-LIB (#6154)

19 files changed:

src/expr/proof_ensure_closed.cpp		diff \| blob \| history
src/options/smt_options.toml		diff \| blob \| history
src/preprocessing/passes/ite_removal.cpp		diff \| blob \| history
src/preprocessing/passes/quantifier_macros.cpp		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/prop/minisat/minisat.cpp		diff \| blob \| history
src/prop/theory_proxy.cpp		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/arith/proof_macros.h		diff \| blob \| history
test/regress/regress1/non-fatal-errors.smt2		diff \| blob \| history
test/regress/regress1/push-pop/arith_lra_01.smt2		diff \| blob \| history
test/regress/regress1/push-pop/fuzz_3_1.smt2		diff \| blob \| history
test/regress/regress1/push-pop/fuzz_3_11.smt2		diff \| blob \| history
test/regress/regress1/push-pop/fuzz_3_6.smt2		diff \| blob \| history
test/regress/regress1/push-pop/fuzz_3_9.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/symmetric_unsat_7.smt2		diff \| blob \| history
test/regress/regress1/strings/stoi-400million.smt2		diff \| blob \| history
test/regress/regress2/instance_1444.smtv1.smt2		diff \| blob \| history