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

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Wed, 29 Sep 2021 21:32:31 +0000 (16:32 -0500)
committer	GitHub <noreply@github.com>
	Wed, 29 Sep 2021 21:32:31 +0000 (21:32 +0000)
commit	bed236463f34019a802c8f0ee66f386b77ac4446
tree	b243c34aa9382f34f87c187ae136c000ac2d906e	tree
parent	7d859b19c2755dc5071f4bedbbeab8a37870e69a	commit \| diff

Remove support for extended `(check-sat <term>)` command. (#7270)

This commit removes support for the extended `(check-sat <term>)` command which overlaps in functionality with the standard `(check-sat-assuming (<prop_literal>*))` command.

15 files changed:

RSS Atom

examples/api/smtlib/extract.smt2		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/printer/ast/ast_printer.cpp		diff \| blob \| history
src/printer/ast/ast_printer.h		diff \| blob \| history
src/printer/printer.cpp		diff \| blob \| history
src/printer/printer.h		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.h		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
test/regress/regress0/cores/issue4925.smt2		diff \| blob \| history
test/regress/regress0/cores/issue5238.smt2		diff \| blob \| history
test/regress/regress0/cores/issue5902.smt2		diff \| blob \| history