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

author	Andres Noetzli <andres.noetzli@gmail.com>
	Fri, 3 Jul 2020 00:14:22 +0000 (17:14 -0700)
committer	GitHub <noreply@github.com>
	Fri, 3 Jul 2020 00:14:22 +0000 (17:14 -0700)
commit	2faf908ed88c798a25b4881e3ce3026dc139bca3
tree	a0e0977d8c40e4c4e6f9aa36f517335062ee282b	tree
parent	34661cedac9ea64c4cec5fc71f0d303eb7688723	commit \| diff

Remove SWIG bindings (#4683)

This commit removes support for SWIG bindings for the legacy API. The
bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da
and we are not planning on using SWIG for the Java API for the new API.

54 files changed:

.github/workflows/ci.yml		diff \| blob \| history
CMakeLists.txt		diff \| blob \| history
INSTALL.md		diff \| blob \| history
NEWS		diff \| blob \| history
configure.sh		diff \| blob \| history
src/base/configuration.i	[deleted file]	blob \| history
src/base/exception.i	[deleted file]	blob \| history
src/base/modal_exception.i	[deleted file]	blob \| history
src/bindings/CMakeLists.txt	[deleted file]	blob \| history
src/bindings/java/CMakeLists.txt	[deleted file]	blob \| history
src/bindings/java/cvc4_std_vector.i	[deleted file]	blob \| history
src/bindings/java_iterator_adapter.h	[deleted file]	blob \| history
src/bindings/java_iterator_adapter.i	[deleted file]	blob \| history
src/bindings/java_stream_adapters.h	[deleted file]	blob \| history
src/bindings/python/CMakeLists.txt	[deleted file]	blob \| history
src/bindings/swig.h	[deleted file]	blob \| history
src/cvc4.i	[deleted file]	blob \| history
src/expr/array.i	[deleted file]	blob \| history
src/expr/array_store_all.i	[deleted file]	blob \| history
src/expr/ascription_type.i	[deleted file]	blob \| history
src/expr/datatype.i	[deleted file]	blob \| history
src/expr/emptyset.i	[deleted file]	blob \| history
src/expr/expr.i	[deleted file]	blob \| history
src/expr/expr_manager.i	[deleted file]	blob \| history
src/expr/expr_sequence.i	[deleted file]	blob \| history
src/expr/kind.i	[deleted file]	blob \| history
src/expr/type.i	[deleted file]	blob \| history
src/expr/uninterpreted_constant.i	[deleted file]	blob \| history
src/expr/variable_type_map.i	[deleted file]	blob \| history
src/options/language.i	[deleted file]	blob \| history
src/options/option_exception.i	[deleted file]	blob \| history
src/options/options.i	[deleted file]	blob \| history
src/proof/unsat_core.i	[deleted file]	blob \| history
src/smt/logic_exception.i	[deleted file]	blob \| history
src/smt/smt_engine.i	[deleted file]	blob \| history
src/theory/logic_info.i	[deleted file]	blob \| history
src/theory/theory_id.i	[deleted file]	blob \| history
src/util/bitvector.i	[deleted file]	blob \| history
src/util/bool.i	[deleted file]	blob \| history
src/util/cardinality.i	[deleted file]	blob \| history
src/util/divisible.i	[deleted file]	blob \| history
src/util/floatingpoint.i	[deleted file]	blob \| history
src/util/hash.i	[deleted file]	blob \| history
src/util/iand.i	[deleted file]	blob \| history
src/util/integer.i	[deleted file]	blob \| history
src/util/proof.i	[deleted file]	blob \| history
src/util/rational.i	[deleted file]	blob \| history
src/util/regexp.i	[deleted file]	blob \| history
src/util/result.i	[deleted file]	blob \| history
src/util/sexpr.i	[deleted file]	blob \| history
src/util/statistics.i	[deleted file]	blob \| history
src/util/string.i	[deleted file]	blob \| history
src/util/tuple.i	[deleted file]	blob \| history
src/util/unsafe_interrupt_exception.i	[deleted file]	blob \| history

RSS Atom