summaryrefslogtreecommitdiff
path: root/src/bindings/compat
AgeCommit message (Expand)Author
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-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-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan 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-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-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-01-27effecting the same change in the compat Java binding as was done to CVC3 yest...Morgan 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-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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback