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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 26 Mar 2013 21:58:39 +0000 (17:58 -0400)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 26 Mar 2013 23:43:25 +0000 (19:43 -0400)
commit	ad5e31e2031349c9b9d0bf5d9fcaa1ea7950db58
tree	dd3e7e943628f1410f4a8d2f260c994d62be308d	tree
parent	a9912269ab2b47b783a66f381b14148c0ac73e93	commit \| diff

Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac

36 files changed:

config/bindings.m4		diff \| blob \| history
config/cvc4.m4		diff \| blob \| history
configure.ac		diff \| blob \| history
examples/api/java/Makefile.am		diff \| blob \| history
examples/api/java/PipedInput.java	[new file with mode: 0644]	blob
src/bindings/compat/c/c_interface.cpp		diff \| blob \| history
src/bindings/compat/java/Makefile.am		diff \| blob \| history
src/bindings/compat/java/src/cvc3/ValidityChecker_impl.cpp		diff \| blob \| history
src/compat/cvc3_compat.cpp		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/expr/command.i		diff \| blob \| history
src/expr/expr.i		diff \| blob \| history
src/expr/variable_type_map.i		diff \| blob \| history
src/parser/cvc/Makefile.am		diff \| blob \| history
src/parser/parser.i		diff \| blob \| history
src/parser/parser_exception.i		diff \| blob \| history
src/parser/smt1/Makefile.am		diff \| blob \| history
src/parser/smt2/Makefile.am		diff \| blob \| history
src/parser/tptp/Makefile.am		diff \| blob \| history
src/printer/ast/ast_printer.h		diff \| blob \| history
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/cvc/cvc_printer.h		diff \| blob \| history
src/printer/smt1/smt1_printer.h		diff \| blob \| history
src/printer/smt2/smt2_printer.h		diff \| blob \| history
src/smt/boolean_terms.cpp		diff \| blob \| history
src/smt/smt_engine.i		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/cvc4_assert.i	[deleted file]	blob \| history
src/util/output.h		diff \| blob \| history
src/util/output.i		diff \| blob \| history
src/util/record.i		diff \| blob \| history
src/util/sexpr.h		diff \| blob \| history
src/util/sexpr.i		diff \| blob \| history
src/util/statistics.i		diff \| blob \| history
src/util/tuple.i		diff \| blob \| history
src/util/util_model.i	[deleted file]	blob \| history

RSS Atom