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

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Wed, 2 Sep 2020 16:50:41 +0000 (11:50 -0500)
committer	GitHub <noreply@github.com>
	Wed, 2 Sep 2020 16:50:41 +0000 (11:50 -0500)
commit	dd912a03113bbc5ad93260babba061362b660acd
tree	a674b912b0bbd178b46b51f09abe5cf7d1c13c6a	tree
parent	95bba975fd13261ca8854d9fb30d03fc7447eb80	commit \| diff

Introduce an internal version of Commands. (#4988)

This PR is a step towards the migration of Commands to the public API. Node versions of some Commands are introduced for internal use (as necessary). The DumpManager is refactored to make use of those commands.

20 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/printer/ast/ast_printer.cpp		diff \| blob \| history
src/printer/ast/ast_printer.h		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/cvc/cvc_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/printer/tptp/tptp_printer.cpp		diff \| blob \| history
src/printer/tptp/tptp_printer.h		diff \| blob \| history
src/smt/dump.h		diff \| blob \| history
src/smt/dump_manager.cpp		diff \| blob \| history
src/smt/dump_manager.h		diff \| blob \| history
src/smt/listeners.cpp		diff \| blob \| history
src/smt/model.cpp		diff \| blob \| history
src/smt/model.h		diff \| blob \| history
src/smt/node_command.cpp	[new file with mode: 0644]	blob
src/smt/node_command.h	[new file with mode: 0644]	blob
src/smt/smt_engine.cpp		diff \| blob \| history

RSS Atom