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

author	Tim King <taking@cs.nyu.edu>
	Wed, 10 Jan 2018 06:05:02 +0000 (22:05 -0800)
committer	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 10 Jan 2018 06:05:02 +0000 (22:05 -0800)
commit	2e5cc613d280fab1be89d8360250cbc3a1635ac9
tree	ced7d813eec67a32fd3f1b4a1174f5ff00ab1767	tree
parent	ff9d2c84dae5eb21a7ef77f5931673fb23129730	commit \| diff

Cleaning up throw specifiers on Exception and subclasses. (#1475)

17 files changed:

src/base/exception.h		diff \| blob \| history
src/base/exception.i		diff \| blob \| history
src/expr/datatype.h		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/node.cpp		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/options/option_exception.h		diff \| blob \| history
src/parser/parser_exception.h		diff \| blob \| history
src/smt/logic_exception.h		diff \| blob \| history
src/theory/arith/delta_rational.cpp		diff \| blob \| history
src/theory/arith/delta_rational.h		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/arith/theory_arith_private.h		diff \| blob \| history
src/theory/type_enumerator.h		diff \| blob \| history
src/util/rational_cln_imp.cpp		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history