summaryrefslogtreecommitdiff
path: root/src/bindings/Makefile.am
AgeCommit message (Expand)Author
2014-08-06First crack at fixing double-linking issues in build system.Morgan Deters
2014-06-21Lower the Java JRE version requirement.Morgan Deters
2013-07-30Minor fixes to build system.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-04-29Some fixes for GCC 4.2, and for Java on MacMorgan Deters
2013-03-25java input stream adapters workingMorgan Deters
2013-03-15fix up build system for swig (d242c30 introduced a subtle error)1.0.xMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...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 issuesMorgan Deters
2012-10-25more minor fixes to build systemACSYS
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-09-28* fix compatibility library naming for SMT-LIBv1Morgan Deters
2012-06-08minor fixes, for Mac OSMorgan Deters
2012-02-03updating configure to use python-config for building python bindingsDejan Jovanović
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-10-31fix to "make install"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-28fixes for make dist ; make installMorgan 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