projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f2e127) | patch
Refactor managed streams (#6934)
authorGereon Kremer <nafur42@gmail.com>
Wed, 4 Aug 2021 18:35:41 +0000 (11:35 -0700)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 18:35:41 +0000 (18:35 +0000)
commitcc9155e74a4c7fbbf66f736e0d6f67499329ba69
tree7285753f9645683bc5190856bf61f250a9f62225tree
parent3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1commit | diff
Refactor managed streams (#6934)

This PR introduces a new ManagedStream class that replaces the previous ManagedOstream. It allows to directly store the (wrapped) stream objects in the options. Handling the stream options is moved from the options manager to option predicates and the different options for input and output streams are combined into a single one.
Some associated utilities (open_ostream.h and update_ostream.h) are now obsolete and thus removed.
20 files changed:
src/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/options/CMakeLists.txt diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/managed_streams.cpp [new file with mode: 0644] blob
src/options/managed_streams.h [new file with mode: 0644] blob
src/options/open_ostream.cpp [deleted file] blob | history
src/options/open_ostream.h [deleted file] blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history
src/options/smt_options.toml diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/smt/managed_ostreams.cpp [deleted file] blob | history
src/smt/managed_ostreams.h [deleted file] blob | history
src/smt/options_manager.cpp diff | blob | history
src/smt/options_manager.h diff | blob | history
src/smt/set_defaults.cpp diff | blob | history
src/smt/update_ostream.h [deleted file] blob | history
test/unit/main/interactive_shell_black.cpp diff | blob | history