Age | Commit message (Expand) | Author |
2018-06-07 | Look for cryptominisat5_simple, not cryptominisat5 (#2058) | Andres Noetzli |
2018-05-14 | Add contrib/get-symfpu for downloading symfpu. (#1905) | Mathias Preiner |
2018-04-19 | Remove tap-driver.sh (#1791) | Andres Noetzli |
2018-04-05 | Python regression script (#1662) | Andres Noetzli |
2018-03-26 | Make Java bindings work with newer build envs (#1709) | Andres Noetzli |
2018-03-20 | Add support for CaDiCaL as eager BV SAT solver. (#1675) | Mathias Preiner |
2018-03-13 | Use Cryptominisat version 5.0.2 (instead of 4.2.0). (#1664) | Mathias Preiner |
2018-02-08 | Check whether Cryptominisat4/ABC was installed via get-* script. (#1565) | Mathias Preiner |
2017-10-03 | Add Cryptominisat and LFSC to --show-config output. (#1194) | Mathias Preiner |
2017-08-30 | Use thread_local instead of compiler extensions (#210) | Andres Noetzli |
2017-08-25 | Move LFSC checker out of the CVC repository. (#222) | Aina Niemetz |
2017-08-14 | Use antlr-3.4 directory if already present in CVC4 root directory (#213) | Mathias Preiner |
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-05-27 | [Competition] Fix ABC, fix CryptoMiniSat req | Andres Noetzli |
2016-05-24 | Merged cryptominisat from experimental branch. | Liana Hadarean |
2015-07-20 | Fix for BOOST_SED_CPP for gcc-5. | Tim King |
2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
2014-09-26 | Fix some configuration-related oddness. | Morgan Deters |
2014-09-26 | Clarify some licensing-related things. | Morgan Deters |
2014-06-23 | Fix header check for glpk.h. | Morgan Deters |
2014-06-22 | Better documentation pages. | Morgan Deters |
2014-06-21 | API documentation improvements. | Morgan Deters |
2014-06-19 | Minor Doxygen fixes. | Morgan Deters |
2014-06-19 | Fix for pre-C++11 is_sorted(). | Morgan Deters |
2014-06-19 | Clean up glpk detection a little, fix a detection bug. | Morgan Deters |
2014-06-19 | Minor fixes to get-abc script and configure stuff. | Morgan Deters |
2014-06-19 | get-glpk-cut-log script, and configure code. | Morgan Deters |
2014-06-11 | --best now implies --with-glpk --with-abc | Morgan Deters |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-05-19 | Fixing documentation for glpk configuration. | Tim King |
2014-05-05 | Improving documentation for glpk-cut-log switch. | Tim King |
2014-03-07 | Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m... | Tim King |
2014-01-17 | Merge branch '1.3.x' | Kshitij Bansal |
2014-01-17 | enable search for html doc | Kshitij Bansal |
2014-01-09 | Merge branch '1.3.x' | Morgan Deters |
2014-01-09 | gmp is again default, not cln, for build ID (reverting due to license discuss... | 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-24 | Merge branch '1.3.x' | Morgan Deters |
2013-12-23 | cln now default w.r.t. build ID string | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-09 | GLPK build identifier, license warnings. | Morgan Deters |
2013-11-14 | Minor fixes for Mac OS Mavericks | Morgan Deters |
2013-11-11 | Some fixes to build system with dependency-tracking is off; should fix RPM/De... | 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-05-16 | configure fix for building with glpk on redhat, perhaps others | Morgan Deters |
2013-05-16 | minor changes to language bindings | Morgan Deters |