Age | Commit message (Expand) | Author |
2017-08-02 | Disable debug symbols for production builds. | Mathias Preiner |
2017-07-26 | -Og for non-opt build, parallel pcvc4 check (#206) | Andres Noetzli |
2017-07-26 | Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest headers in configure.a... | Mathias Preiner |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-17 | Use is_sorted, merge, copy from std (#199) | Andres Noetzli |
2017-07-13 | autoconf: make -std=gnu++11 mandatory | Aina Niemetz |
2017-07-10 | Prerelease versioning for master. | Mathias Preiner |
2017-07-10 | Cutting release 1.5. | Mathias Preiner |
2017-06-21 | Check for sigaltstack in configure (#172) | Clément Pit-Claudel |
2017-05-12 | Conditional coverage build | makaimann |
2017-04-21 | Add check for C++ exceptions to config script | Andres Notzli |
2017-03-08 | Fix MinGW-w64 build | Andres Notzli |
2016-12-01 | Fix build on macOS Sierra | Andres Notzli |
2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-10-26 | This commit fixes a bug related to a public header depending on a compiler fl... | Tim King |
2015-10-24 | Revert "Default builds are now proof enabled." | Kshitij Bansal |
2015-10-23 | Changes configure.ac so that the single recurisve invocation runs with a rela... | Tim King |
2015-10-11 | Default builds are now proof enabled. | Liana Hadarean |
2015-10-09 | Temporary reverting commit 477e72b (proofs as default build) until we fix nig... | Liana Hadarean |
2015-10-07 | Default builds are now proof enabled. | Liana Hadarean |
2015-02-12 | Changing CXXFLAGS for custom cln installation in configure.ac. | Tim King |
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 |