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

author	Morgan Deters <mdeters@gmail.com>
	Wed, 21 Sep 2011 03:26:13 +0000 (03:26 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Wed, 21 Sep 2011 03:26:13 +0000 (03:26 +0000)
commit	3b1689612bb2ff984aa90cd84093ffc043d78ba9
tree	872cf423273a331e110ff3868cd5281c960dd3b1	tree
parent	69d8f8da6bbb856964d47a583ceb4e50060e9457	commit \| diff

considerable bindings interface work, some improvements to build

28 files changed:

configure.ac		diff \| blob \| history
src/bindings/Makefile.am		diff \| blob \| history
src/compat/Makefile.am		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/expr/expr_template.h		diff \| blob \| history
src/expr/kind.i		diff \| blob \| history
src/expr/type.cpp		diff \| blob \| history
src/main/Makefile.am		diff \| blob \| history
src/parser/Makefile.am		diff \| blob \| history
src/parser/cvc4parser.i	[new file with mode: 0644]	blob
src/parser/input.i	[new file with mode: 0644]	blob
src/parser/parser.h		diff \| blob \| history
src/parser/parser.i	[new file with mode: 0644]	blob
src/parser/parser_builder.h		diff \| blob \| history
src/parser/parser_builder.i	[new file with mode: 0644]	blob
src/parser/parser_exception.i	[new file with mode: 0644]	blob
src/smt/bad_option_exception.i		diff \| blob \| history
src/smt/modal_exception.i		diff \| blob \| history
src/util/Assert.i		diff \| blob \| history
src/util/exception.i		diff \| blob \| history
src/util/hash.i		diff \| blob \| history
src/util/language.i		diff \| blob \| history
src/util/options.i		diff \| blob \| history
src/util/output.i		diff \| blob \| history
src/util/stats.h		diff \| blob \| history
test/system/CVC4JavaTest.java	[new file with mode: 0644]	blob
test/system/Makefile.am		diff \| blob \| history
test/system/run_java_test	[new file with mode: 0755]	blob