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

author	Morgan Deters <mdeters@gmail.com>
	Fri, 30 Sep 2011 23:01:58 +0000 (23:01 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Fri, 30 Sep 2011 23:01:58 +0000 (23:01 +0000)
commit	33e3657c15d6c760206aeaca10b5690af4a78223
tree	a75475200584ab5e11981827182d979d84f6e1ff	tree
parent	192c5592424e5db0afc72e7316c4698949a2f7e5	commit \| diff

interfaces fixes and cleanups...and examples of each interface!

23 files changed:

Makefile		diff \| blob \| history
Makefile.am		diff \| blob \| history
Makefile.builds.in		diff \| blob \| history
configure.ac		diff \| blob \| history
contrib/update-copyright.pl		diff \| blob \| history
examples/Makefile	[new file with mode: 0644]	blob
examples/Makefile.am	[new file with mode: 0644]	blob
examples/README	[new file with mode: 0644]	blob
examples/SimpleVC.java	[new file with mode: 0644]	blob
examples/SimpleVCCompat.java	[new file with mode: 0644]	blob
examples/simple_vc_compat_c.c	[new file with mode: 0644]	blob
examples/simple_vc_compat_cxx.cpp	[new file with mode: 0644]	blob
examples/simple_vc_cxx.cpp	[new file with mode: 0644]	blob
src/Makefile.am		diff \| blob \| history
src/bindings/Makefile.am		diff \| blob \| history
src/bindings/compat/Makefile.am		diff \| blob \| history
src/bindings/compat/c/Makefile.am		diff \| blob \| history
src/bindings/compat/java/Makefile.am		diff \| blob \| history
src/bindings/compat/java/src/cvc3/Embedded.java		diff \| blob \| history
src/compat/Makefile.am		diff \| blob \| history
src/expr/expr_manager.i		diff \| blob \| history
src/include/cvc4.h	[new file with mode: 0644]	blob
src/util/options.cpp		diff \| blob \| history