summaryrefslogtreecommitdiff
path: root/src/bindings
AgeCommit message (Expand)Author
2012-05-31pass JAVA_CPPFLAGS properlyMorgan Deters
2012-05-16Fixing C compatibility library (it still had a reference to CONST_INTEGER).Morgan Deters
2012-03-08fix "make dist"Morgan Deters
2012-03-07fix some Java compatibility-layer interface problems; also fix some Mac OS X ...Morgan Deters
2012-02-03updating configure to use python-config for building python bindingsDejan Jovanović
2012-01-27effecting the same change in the compat Java binding as was done to CVC3 yest...Morgan Deters
2011-11-26Fix Java JNI installation pathMorgan Deters
2011-11-22fix module name for CVC4 jar file; part of the fix for the Debian package bui...Morgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-11-16Fix "make dist". Fixes to python and ruby bindings; ruby example written. T...Morgan Deters
2011-11-16fix to build system for java bindingsMorgan Deters
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-10-31fix to "make install"Morgan Deters
2011-10-06don't build language bindings unless expressly requested with --enable-langua...Morgan Deters
2011-10-04cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fixMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-28another make dist fix for java compat bindingsMorgan Deters
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-27more interface work; adding legacy C interfaceMorgan Deters
2011-09-25first crack at compatibility java interface (not built by default)Morgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20fix buildMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback