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

author	Tim King <taking@google.com>
	Thu, 1 Sep 2016 08:28:02 +0000 (01:28 -0700)
committer	Tim King <taking@google.com>
	Thu, 1 Sep 2016 08:28:02 +0000 (01:28 -0700)
commit	d09bb1889f184de32ceb078a815e016502e24279
tree	7dad83af4d6fc6be58a98c940234a99e5254ea94	tree
parent	d6b840e521eef52a864f51fa18d6e86a6bf34f4a	commit \| diff

Relaxing the throw specifiers for the destructors for Node, TypeNode, the context/ classes, and their subclasses. Fixes compilation issues with clang 3.5 and -std=c++11 'exception specification of overriding function is more lax than base version' for a couple of different classes.

25 files changed:

src/context/cdchunk_list.h		diff \| blob \| history
src/context/cdhashmap.h		diff \| blob \| history
src/context/cdinsert_hashmap.h		diff \| blob \| history
src/context/cdlist.h		diff \| blob \| history
src/context/cdo.h		diff \| blob \| history
src/context/cdtrail_hashmap.h		diff \| blob \| history
src/context/context.cpp		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/context/context_mm.cpp		diff \| blob \| history
src/context/context_mm.h		diff \| blob \| history
src/context/stacking_vector.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/prop/bvminisat/bvminisat.cpp		diff \| blob \| history
src/prop/bvminisat/bvminisat.h		diff \| blob \| history
src/prop/cryptominisat.cpp		diff \| blob \| history
src/prop/cryptominisat.h		diff \| blob \| history
src/prop/minisat/minisat.cpp		diff \| blob \| history
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/theory/bv/bv_inequality_graph.h		diff \| blob \| history
src/theory/shared_terms_database.cpp		diff \| blob \| history
src/theory/shared_terms_database.h		diff \| blob \| history
src/theory/uf/equality_engine.cpp		diff \| blob \| history
src/theory/uf/equality_engine.h		diff \| blob \| history

RSS Atom