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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Thu, 20 Feb 2020 20:49:02 +0000 (14:49 -0600)
committer	GitHub <noreply@github.com>
	Thu, 20 Feb 2020 20:49:02 +0000 (14:49 -0600)
commit	5489ef01beb91e256e343e2fd2d734b48b42ad6e
tree	f6a535c768ae4f3cfbbed765b0697300f4412657	tree
parent	32fdf625f66b8ebf260756962a53d63eec771c12	commit \| diff

Remove front-end support for Chain (#3767)

21 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/api/cvc4cpp.cpp		diff \| blob \| history
src/api/cvc4cpp.h		diff \| blob \| history
src/api/cvc4cppkind.h		diff \| blob \| history
src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/chain.h	[deleted file]	blob \| history
src/expr/chain.i	[deleted file]	blob \| history
src/parser/parser.cpp		diff \| blob \| history
src/parser/parser.h		diff \| blob \| history
src/parser/smt2/smt2.cpp		diff \| blob \| history
src/parser/tptp/tptp.cpp		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/proof/theory_proof.cpp		diff \| blob \| history
src/theory/builtin/kinds		diff \| blob \| history
src/theory/builtin/theory_builtin_rewriter.cpp		diff \| blob \| history
src/theory/builtin/theory_builtin_rewriter.h		diff \| blob \| history
src/theory/builtin/theory_builtin_type_rules.h		diff \| blob \| history
test/regress/regress0/printer/let_shadowing.smt2		diff \| blob \| history
test/unit/api/op_black.h		diff \| blob \| history
test/unit/api/solver_black.h		diff \| blob \| history