summaryrefslogtreecommitdiff
path: root/src/bindings
AgeCommit message (Expand)Author
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-08-06First crack at fixing double-linking issues in build system.Morgan Deters
2014-07-01Update copyrights.Morgan Deters
2014-06-21Fix compat-Java layer, should fix build.Morgan Deters
2014-06-21Lower the Java JRE version requirement.Morgan Deters
2014-06-21Adjust library dependencies to be more correct (fixes lintian warnings).Morgan Deters
2013-12-03Work around a swig segfault issue when building on Mac OSMorgan Deters
2013-11-26Fix Java output stream adapter.Morgan Deters
2013-11-13Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ...Morgan Deters
2013-11-10Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti...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-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan 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* enable previously-failing (now succeeding) datatype example that uses recordsMorgan 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-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-08small fix for compat JNI library installationMorgan Deters
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-09-29fixes to "make distclean" and C compatibility bindings; should fix the broken...Morgan Deters
2012-09-28fixes for compatibility (i.e., CVC3) Java bindingsMorgan Deters
2012-09-28* fix compatibility library naming for SMT-LIBv1Morgan Deters
2012-09-26Fix 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-12fix a few compatibility bindings issuesMorgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-06-08minor fixes, for Mac OSMorgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback