summaryrefslogtreecommitdiff
path: root/src/bindings
AgeCommit message (Expand)Author
2018-10-22Fail for SWIG 3.0.8 (#2656)makaimann
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-18Introducing internal commands for SyGuS commands (#2627)Haniel Barbosa
2018-09-22cmake: Add python3 option.Mathias Preiner
2018-09-22cmake: Add make install rule.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Add SWIG support + Python and Java bindings.Mathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-04Remove CVC3 compatibility layer (#2418)Andres Noetzli
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-26Make Java bindings work with newer build envs (#1709)Andres Noetzli
2017-10-27Modify LDFLAGS to support shared libraries for Win (#1280)Andres Noetzli
2017-09-19Fixing a null pointer dereference in the cvc3 compatibility layer. (#1089)Tim King
2017-09-13Remove unused RecordSelect and TupleSelect (#1087)Andres Noetzli
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback