summaryrefslogtreecommitdiff
path: root/src/bindings/compat/c
AgeCommit message (Expand)Author
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2014-08-06First crack at fixing double-linking issues in build system.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-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-09-29fixes to "make distclean" and C compatibility bindings; should fix the broken...Morgan Deters
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing documentati...Morgan Deters
2012-05-16Fixing C compatibility library (it still had a reference to CONST_INTEGER).Morgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-27more interface work; adding legacy C interfaceMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback