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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Fri, 25 Jan 2013 20:16:43 +0000 (15:16 -0500)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Fri, 25 Jan 2013 22:39:21 +0000 (17:39 -0500)
commit	195dffbb7468e814d3dc3226666688869c13ba3d
tree	4c4915245a90615ea36cbcfbb4a8a6dcc910c384	tree
parent	73760b3c213733fc98d67f9ceeb74d06b01a3777	commit \| diff

Fix errors and reduce warnings on clang (merge from mdeters/clang)

22 files changed:

contrib/get-antlr-3.4		diff \| blob \| history
src/expr/attribute_internals.h		diff \| blob \| history
src/expr/expr_manager_template.h		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/kind_template.h		diff \| blob \| history
src/expr/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/proof/proof_manager.cpp		diff \| blob \| history
src/proof/proof_manager.h		diff \| blob \| history
src/prop/bvminisat/core/Solver.cc		diff \| blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/theory/arith/partial_model.h		diff \| blob \| history
src/theory/bv/theory_bv_rewrite_rules_simplification.h		diff \| blob \| history
src/theory/quantifiers/first_order_model.cpp		diff \| blob \| history
src/theory/quantifiers/first_order_model.h		diff \| blob \| history
src/theory/rewriterules/theory_rewriterules.cpp		diff \| blob \| history
src/theory/theory.h		diff \| blob \| history
src/util/node_visitor.h		diff \| blob \| history
src/util/record.h		diff \| blob \| history
src/util/statistics_registry.h		diff \| blob \| history