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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 20 Sep 2011 14:58:30 +0000 (14:58 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 20 Sep 2011 14:58:30 +0000 (14:58 +0000)
commit	c241cf3bef737a58162868d51a2c773c5af5abbf
tree	741fac2402e78a85bdc42e3b47ee23d7c10db9f8	tree
parent	f1c1cc7c3de0d4a5f310357a249cef82f73c588c	commit \| diff

Merge from "swig" branch: language binding for Java is compiling and linking. Enable with --enable-language-bindings=java

52 files changed:

config/bindings.m4		diff \| blob \| history
library_versions		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/bindings/Makefile.am		diff \| blob \| history
src/bindings/swig.h	[new file with mode: 0644]	blob
src/cvc4.i	[new file with mode: 0644]	blob
src/expr/Makefile.am		diff \| blob \| history
src/expr/command.i	[new file with mode: 0644]	blob
src/expr/declaration_scope.i	[new file with mode: 0644]	blob
src/expr/expr.i	[new file with mode: 0644]	blob
src/expr/expr_manager.i	[new file with mode: 0644]	blob
src/expr/kind.i	[new file with mode: 0644]	blob
src/expr/type.cpp		diff \| blob \| history
src/expr/type.h		diff \| blob \| history
src/expr/type.i	[new file with mode: 0644]	blob
src/expr/type_node.h		diff \| blob \| history
src/smt/Makefile.am		diff \| blob \| history
src/smt/bad_option_exception.i	[new file with mode: 0644]	blob
src/smt/modal_exception.i	[new file with mode: 0644]	blob
src/smt/no_such_function_exception.i	[new file with mode: 0644]	blob
src/smt/smt_engine.h		diff \| blob \| history
src/smt/smt_engine.i	[new file with mode: 0644]	blob
src/util/Assert.i	[new file with mode: 0644]	blob
src/util/Makefile.am		diff \| blob \| history
src/util/array.i	[new file with mode: 0644]	blob
src/util/ascription_type.i	[new file with mode: 0644]	blob
src/util/bitvector.i	[new file with mode: 0644]	blob
src/util/bool.i	[new file with mode: 0644]	blob
src/util/cardinality.h		diff \| blob \| history
src/util/cardinality.i	[new file with mode: 0644]	blob
src/util/configuration.i	[new file with mode: 0644]	blob
src/util/datatype.i	[new file with mode: 0644]	blob
src/util/exception.h		diff \| blob \| history
src/util/exception.i	[new file with mode: 0644]	blob
src/util/hash.h		diff \| blob \| history
src/util/hash.i	[new file with mode: 0644]	blob
src/util/integer.h.in		diff \| blob \| history
src/util/integer.i	[new file with mode: 0644]	blob
src/util/language.i	[new file with mode: 0644]	blob
src/util/matcher.h		diff \| blob \| history
src/util/options.i	[new file with mode: 0644]	blob
src/util/output.h		diff \| blob \| history
src/util/output.i	[new file with mode: 0644]	blob
src/util/pseudoboolean.i	[new file with mode: 0644]	blob
src/util/rational.h.in		diff \| blob \| history
src/util/rational.i	[new file with mode: 0644]	blob
src/util/rational_cln_imp.h		diff \| blob \| history
src/util/rational_gmp_imp.h		diff \| blob \| history
src/util/result.i	[new file with mode: 0644]	blob
src/util/sexpr.i	[new file with mode: 0644]	blob
src/util/stats.i	[new file with mode: 0644]	blob
src/util/subrange_bound.i	[new file with mode: 0644]	blob

RSS Atom