Age | Commit message (Expand) | Author |
2013-12-10 | GLPK build identifier, license warnings. | Morgan Deters |
2013-12-06 | Initializing master for next version. | Morgan Deters |
2013-12-06 | Initializing 1.3.x branch. | Morgan Deters |
2013-12-06 | Cutting release 1.3.1.3 | Morgan Deters |
2013-11-14 | Minor fixes for Mac OS Mavericks | Morgan Deters |
2013-11-12 | Some additional explanation for a common configure error. | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-07-23 | fix for win32 option parsing via mingw32 | Morgan Deters |
2013-05-08 | Prerelease versioning for master | Morgan Deters |
2013-05-08 | Prerelease versioning for 1.2.x | Morgan Deters |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-29 | Fixes to FCSimplex for some versions of compilers | Morgan Deters |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-23 | Theory "alternates" support | Morgan Deters |
2013-04-03 | Prerelease versioning for master. | Morgan Deters |
2013-04-03 | Pre-release versioning | Morgan Deters |
2013-04-03 | Cutting release 1.1.1.1 | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2012-12-18 | Fix bug 483: readline checks must come after Boost checks in configure | Morgan Deters |
2012-12-03 | version numbering | Morgan Deters |
2012-12-01 | Cutting release 1.0.1.0 | Morgan Deters |
2012-11-29 | Fix for hidden symbols in library on Mac. It's a strange issue to do with | Morgan Deters |
2012-11-27 | fix for some Mac builds | Morgan Deters |
2012-11-27 | give warning at configure-time about unsupported language bindings, and don't... | Morgan Deters |
2012-11-12 | * Fix language bindings: various issues | Morgan Deters |
2012-11-05 | fixes for mac os | Morgan Deters |
2012-10-25 | last build system fix for now: fix some typos affecting Mac | ACSYS |
2012-10-25 | extra quoting for special character | Morgan Deters |
2012-10-25 | more minor fixes to build system | ACSYS |
2012-10-25 | One of my changes to the build system yesterday broke the nightly build because: | Morgan Deters |
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-06 | * Some documentation about building compatibility and language bindings | Morgan Deters |
2012-09-29 | draft RELEASE-NOTES file, and minor release stuff | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-25 | fix | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-04 | Accepted some patches from the Multicore Programming Group at Imperial Colleg... | Morgan Deters |
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-08-28 | fixes for Mac and automake 1.12 detection | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |