Age | Commit message (Expand) | Author |
2015-01-19 | Adding an additional search path to configure.ac for cxxtestgen to reflect th... | Tim King |
2014-08-12 | To avoid confusion, permit --enable-staticbinary as an alias for --enable-sta... | Morgan Deters |
2014-07-13 | Versioning for master. | Morgan Deters |
2014-07-13 | New versioning for development version. | Morgan Deters |
2014-07-13 | Cutting release 1.4.1.4 | Morgan Deters |
2014-06-26 | Minor language bindings fixes. | Morgan Deters |
2014-06-25 | Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp... | Morgan Deters |
2014-06-21 | Adjust library dependencies to be more correct (fixes lintian warnings). | Morgan Deters |
2014-06-19 | Fix for mac readline. | Morgan Deters |
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 |