summaryrefslogtreecommitdiff
path: root/src/bindings/compat/c
AgeCommit message (Collapse)Author
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
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
for the report and patch!
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 ↵Morgan Deters
and src
2012-09-29fixes to "make distclean" and C compatibility bindings; should fix the ↵Morgan Deters
broken builds last night
2012-08-29* Numerous documentation fixes (fix doxygen warnings, add missing ↵Morgan Deters
documentation, etc.). * Remove sat_module.cpp, which was no longer used (was previously refactored?)
2012-05-16Fixing C compatibility library (it still had a reference to CONST_INTEGER).Morgan Deters
This hopefully fixes the Debian build.
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
still write, for example: #include "expr/node.h" but public CVC4 headers, upon installation to /usr/include/cvc4 (or wherever), have such #includes rewritten automatically to: #include <cvc4/expr/node.h>
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