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

author	Gereon Kremer <gkremer@stanford.edu>
	Mon, 22 Nov 2021 22:31:31 +0000 (14:31 -0800)
committer	GitHub <noreply@github.com>
	Mon, 22 Nov 2021 22:31:31 +0000 (22:31 +0000)
commit	561b989855693fed2e06101223b46f11f4a8963a
tree	15032d1a38a9a7b124e8cc6244095276aef4659d	tree
parent	3027ae937385e63582fc88247ea6b67976e72156	commit \| diff

Refactor IO stream manipulators (#7555)

This PR consolidates SetLanguage, ExprSetDepth and ExprDag into a single consistent utility. Also, it makes it play more nicely with users setting these options and removes some obsolete code.

28 files changed:

src/CMakeLists.txt		diff \| blob \| history
src/expr/CMakeLists.txt		diff \| blob \| history
src/expr/dtype_selector.cpp		diff \| blob \| history
src/expr/expr_iomanip.cpp	[deleted file]	blob \| history
src/expr/expr_iomanip.h	[deleted file]	blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_value.h		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/options/expr_options.toml		diff \| blob \| history
src/options/io_utils.cpp	[new file with mode: 0644]	blob
src/options/io_utils.h	[new file with mode: 0644]	blob
src/options/options_handler.cpp		diff \| blob \| history
src/options/options_handler.h		diff \| blob \| history
src/options/set_language.cpp	[deleted file]	blob \| history
src/options/set_language.h	[deleted file]	blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/proof/unsat_core.cpp		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/model.cpp		diff \| blob \| history
src/smt/optimization_solver.cpp		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/theory/quantifiers/term_database.cpp		diff \| blob \| history
src/util/result.cpp		diff \| blob \| history
test/api/cpp/ouroborous.cpp		diff \| blob \| history
test/api/cpp/smt2_compliance.cpp		diff \| blob \| history
test/unit/node/node_black.cpp		diff \| blob \| history
test/unit/printer/smt2_printer_black.cpp		diff \| blob \| history
test/unit/util/boolean_simplification_black.cpp		diff \| blob \| history

RSS Atom