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

Age	Commit message (Collapse)	Author
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-08-20	fixes for java bindings	Morgan Deters

2012-08-16	fix exceptions and mkConst() in java binding	Morgan Deters

2012-08-16	some fixes for language bindings	Morgan Deters

2011-11-15	Bindings work (ocaml bindings are now sort of working); also minor cleanup	Morgan Deters

2011-10-04	Yet Another Antlr3 Mod---this time, all my fault: for configuration ↵	Morgan Deters
	auto-detection of libantlr3c, I chose an innocent-looking function that was present in both versions. But it's signature had changed, breaking source compatibility in both directions. Just like the other function that started the whole mess. Silly me.
2011-09-30	interfaces fixes and cleanups...and examples of each interface!	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