projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70f0cdd) | patch
Removing infrastructure related to SMT model (#5527)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 26 Nov 2020 15:15:30 +0000 (09:15 -0600)
committerGitHub <noreply@github.com>
Thu, 26 Nov 2020 15:15:30 +0000 (09:15 -0600)
commitd3eb6f04bcdb6c22a2f796a19ff96094d2cfbb88
treebd51ec106bd30add6a8a9e5f3300a6ae022f0e97tree
parent70f0cddbce01fa17622b7b70b638794181aefec5commit | diff
Removing infrastructure related to SMT model (#5527)

Now, SMT models do not store an internal list of commands, and are not dependent on a reference to SmtEngine.

The next cleanup step will be to merge OutputManager, DumpManager, and SmtEngineNodeListener.
src/smt/check_models.cpp diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
src/smt/dump_manager.cpp diff | blob | history
src/smt/dump_manager.h diff | blob | history
src/smt/model.cpp diff | blob | history
src/smt/model.h diff | blob | history
src/smt/node_command.cpp diff | blob | history
src/smt/node_command.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history