Age | Commit message (Expand) | Author |
2018-09-04 | Remove CVC3 compatibility layer (#2418) | Andres Noetzli |
2018-08-07 | Require Swig 3 (#2283) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-03-26 | Make Java bindings work with newer build envs (#1709) | Andres Noetzli |
2017-10-27 | Modify LDFLAGS to support shared libraries for Win (#1280) | Andres Noetzli |
2017-09-19 | Fixing a null pointer dereference in the cvc3 compatibility layer. (#1089) | Tim King |
2017-09-13 | Remove unused RecordSelect and TupleSelect (#1087) | Andres Noetzli |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-04-20 | update from the master | PaulMeng |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-08-06 | First crack at fixing double-linking issues in build system. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-21 | Fix compat-Java layer, should fix build. | Morgan Deters |
2014-06-21 | Lower the Java JRE version requirement. | Morgan Deters |
2014-06-21 | Adjust library dependencies to be more correct (fixes lintian warnings). | Morgan Deters |
2013-12-03 | Work around a swig segfault issue when building on Mac OS | Morgan Deters |
2013-11-26 | Fix Java output stream adapter. | Morgan Deters |
2013-11-13 | Some patches to CVC3 compatibility layer; Thanks to Adam Buchbinder @ Google ... | Morgan Deters |
2013-11-10 | Fix compat-java library naming on Mac OS; thanks to Zheng Manchun for reporti... | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-25 | java input stream adapters working | Morgan Deters |
2013-03-15 | fix up build system for swig (d242c30 introduced a subtle error)1.0.x | Morgan Deters |
2013-03-14 | fix 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 records | Morgan 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 issues | Morgan Deters |
2012-10-25 | more minor fixes to build system | ACSYS |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | small fix for compat JNI library installation | Morgan Deters |
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters |
2012-09-29 | fixes to "make distclean" and C compatibility bindings; should fix the broken... | Morgan Deters |
2012-09-28 | fixes for compatibility (i.e., CVC3) Java bindings | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-26 | Fix 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-12 | fix a few compatibility bindings issues | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-08 | minor fixes, for Mac OS | Morgan Deters |
2012-05-31 | pass JAVA_CPPFLAGS properly | Morgan Deters |
2012-05-16 | Fixing C compatibility library (it still had a reference to CONST_INTEGER). | Morgan Deters |
2012-03-08 | fix "make dist" | Morgan Deters |
2012-03-07 | fix some Java compatibility-layer interface problems; also fix some Mac OS X ... | Morgan Deters |
2012-02-03 | updating configure to use python-config for building python bindings | Dejan Jovanović |