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

Removes yet more throw specifiers. Updating the documentation as needed. (#1518)

14 files changed:

src/expr/expr_manager_template.cpp		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/options/open_ostream.cpp		diff \| blob \| history
src/options/open_ostream.h		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/options/options_get_option_template.cpp		diff \| blob \| history
src/options/options_set_option_template.cpp		diff \| blob \| history
src/theory/example/ecdata.h		diff \| blob \| history