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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Wed, 8 Aug 2018 06:24:07 +0000 (23:24 -0700)
committer	GitHub <noreply@github.com>
	Wed, 8 Aug 2018 06:24:07 +0000 (23:24 -0700)
commit	047e75b485ad16a729083c210ba4064943d2e7c5
tree	cbd0ac11a061cb6da426e44bd6684f6115fecc88	tree
parent	95e9918607ed879347bb250ecbaa3c5c557d71b4	commit \| diff

Require Swig 3 (#2283)

Removes some hacks due to Swig 2's incomplete C++11 support and adds
checks for version 3 at configuration time as well as in swig.h

26 files changed:

config/bindings.m4		diff \| blob \| history
src/base/Makefile.am		diff \| blob \| history
src/base/cvc4_assert.cpp		diff \| blob \| history
src/base/exception.cpp		diff \| blob \| history
src/base/exception.h		diff \| blob \| history
src/base/tls.h	[deleted file]	blob \| history
src/bindings/swig.h		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_manager.h		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/main/interactive_shell.cpp		diff \| blob \| history
src/main/main.h		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/options/options_template.cpp		diff \| blob \| history
src/smt/smt_engine_scope.cpp		diff \| blob \| history
src/smt_util/node_visitor.h		diff \| blob \| history
src/theory/arith/dual_simplex.cpp		diff \| blob \| history
src/theory/arith/fc_simplex.cpp		diff \| blob \| history
src/theory/arith/soi_simplex.cpp		diff \| blob \| history
src/theory/arith/theory_arith_private.cpp		diff \| blob \| history
src/theory/bv/bitblast/aig_bitblaster.cpp		diff \| blob \| history
src/theory/bv/bitblast/aig_bitblaster.h		diff \| blob \| history
src/theory/bv/theory_bv_rewriter.cpp		diff \| blob \| history
src/theory/rewriter.cpp		diff \| blob \| history
src/util/random.h		diff \| blob \| history

RSS Atom