cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2013-07-13	Remove now-unused language bindings interface file.	Morgan Deters

2013-03-26	Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac	Morgan Deters

2012-11-17	* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ↵	Morgan Deters
	ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams, iterators * Make SmtEngine::setUserAttribute() (and others) take a const string& * Also a few compliance fixes (this commit was certified error- and warning-free by the test-and-commit script.)
2012-03-28	fix swig-ignored interface name; hopefully fixes Debian package nightly builds	Morgan Deters

2011-10-04	cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix	Morgan Deters

2011-09-21	considerable bindings interface work, some improvements to build	Morgan Deters

2011-09-20	Merge from "swig" branch: language binding for Java is compiling and ↵	Morgan Deters
	linking. Enable with --enable-language-bindings=java