projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0683b70) | patch
Remove exception headers from options.h (#6456)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 28 Apr 2021 18:32:42 +0000 (20:32 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Apr 2021 18:32:42 +0000 (18:32 +0000)
commitfc0512b6d13349a91da5ac6617acebc41cbd238c
tree4c15847678156e3cf88bacf3a380a6ea94007c0ctree
parent0683b708c4752c1d0e894f19e8011a256ef6df7ecommit | diff
Remove exception headers from options.h (#6456)

This PR removes two headers for exceptions from options.h, and instead pushes the includes to a couple of source files.
17 files changed:
src/api/cpp/cvc5.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/time_limit.cpp diff | blob | history
src/options/module_template.cpp diff | blob | history
src/options/open_ostream.cpp diff | blob | history
src/options/options.h diff | blob | history
src/smt/abduction_solver.cpp diff | blob | history
src/smt/assertions.cpp diff | blob | history
src/smt/check_models.cpp diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/interpolation_solver.cpp diff | blob | history
src/smt/quant_elim_solver.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine_state.cpp diff | blob | history
src/smt/sygus_solver.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_interpol.cpp diff | blob | history
src/util/resource_manager.cpp diff | blob | history