Age | Commit message (Expand) | Author |
2013-11-26 | Fix Java output stream adapter. | Morgan Deters |
2013-11-13 | Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ... | Morgan Deters |
2013-11-10 | Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti... | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-25 | java input stream adapters working | Morgan Deters |
2013-03-15 | fix up build system for swig (d242c30 introduced a subtle error)1.0.x | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-11-17 | * enable previously-failing (now succeeding) datatype example that uses records | Morgan Deters |
2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT... | Morgan Deters |
2012-11-12 | * Fix language bindings: various issues | Morgan Deters |
2012-10-25 | more minor fixes to build system | ACSYS |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | small fix for compat JNI library installation | Morgan Deters |
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters |
2012-09-29 | fixes to "make distclean" and C compatibility bindings; should fix the broken... | Morgan Deters |
2012-09-28 | fixes for compatibility (i.e., CVC3) Java bindings | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-26 | Fix a handful of things for Mac, and Java bindings. | Morgan Deters |
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-06-12 | fix a few compatibility bindings issues | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-08 | minor fixes, for Mac OS | Morgan Deters |
2012-05-31 | pass JAVA_CPPFLAGS properly | Morgan Deters |
2012-05-16 | Fixing C compatibility library (it still had a reference to CONST_INTEGER). | Morgan Deters |
2012-03-08 | fix "make dist" | Morgan Deters |
2012-03-07 | fix some Java compatibility-layer interface problems; also fix some Mac OS X ... | Morgan Deters |
2012-02-03 | updating configure to use python-config for building python bindings | Dejan Jovanović |
2012-01-27 | effecting the same change in the compat Java binding as was done to CVC3 yest... | Morgan Deters |
2011-11-26 | Fix Java JNI installation path | Morgan Deters |
2011-11-22 | fix module name for CVC4 jar file; part of the fix for the Debian package bui... | Morgan Deters |
2011-11-22 | More language bindings work: | Morgan Deters |
2011-11-16 | Fix "make dist". Fixes to python and ruby bindings; ruby example written. T... | Morgan Deters |
2011-11-16 | fix to build system for java bindings | Morgan Deters |
2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-10-31 | fix to "make install" | Morgan Deters |
2011-10-06 | don't build language bindings unless expressly requested with --enable-langua... | Morgan Deters |
2011-10-04 | cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |
2011-09-28 | another make dist fix for java compat bindings | Morgan Deters |
2011-09-28 | fixes for make dist ; make install | Morgan Deters |
2011-09-27 | more interface work; adding legacy C interface | Morgan Deters |
2011-09-25 | first crack at compatibility java interface (not built by default) | Morgan Deters |