Age | Commit message (Expand) | Author |
2014-06-19 | Fix for pre-C++11 is_sorted(). | Morgan Deters |
2014-06-19 | No more dependence on libstdc++ or PBDS stuff: remove build stuff that suppor... | Morgan Deters |
2014-06-19 | get-glpk-cut-log script, and configure code. | Morgan Deters |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-05-30 | Fix personal.mk for some make targets. | Morgan Deters |
2014-01-08 | Merge branch '1.3.x' | Morgan Deters |
2014-01-08 | Switch license default back to BSD, and add --best and --enable-gpl options. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-18 | Merge branch '1.3.x' | Morgan Deters |
2013-12-18 | Fix an autoconf issue with CLN in some configurations; also clarification re:... | Morgan Deters |
2013-12-18 | Merge branch '1.3.x' | Morgan Deters |
2013-12-18 | Fix configure handling for CLN (should fix win32 nightly builds) | Morgan Deters |
2013-12-18 | Reduce autoconf version for dependence (should fix 32-bit builds). | Morgan Deters |
2013-12-17 | Merge branch '1.3.x' | Morgan Deters |
2013-12-17 | configure --with-portfolio disables CLN. | Morgan Deters |
2013-12-17 | Merge branch '1.3.x' | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |
2013-12-10 | GLPK build identifier, license warnings. | Morgan Deters |
2013-12-09 | 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 |