2018-04-19 |
Andres Noetzli | Remove tap-driver.sh (#1791) |
tree | commitdiff |
2018-04-06 |
Andres Noetzli | Python regression script (#1662) |
tree | commitdiff |
2018-03-26 |
Andres Noetzli | Make Java bindings work with newer build envs (#1709) |
tree | commitdiff |
2018-03-20 |
Mathias Preiner | Add support for CaDiCaL as eager BV SAT solver. (#1675) |
tree | commitdiff |
2018-03-13 |
Mathias Preiner | Use Cryptominisat version 5.0.2 (instead of 4.2.0)... |
tree | commitdiff |
2018-02-08 |
Mathias Preiner | Check whether Cryptominisat4/ABC was installed via... |
tree | commitdiff |
2017-10-03 |
Mathias Preiner | Add Cryptominisat and LFSC to --show-config output... |
tree | commitdiff |
2017-08-31 |
Andres Noetzli | Use thread_local instead of compiler extensions (#210) |
tree | commitdiff |
2017-08-25 |
Aina Niemetz | Move LFSC checker out of the CVC repository. (#222) |
tree | commitdiff |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
tree | commitdiff |
2017-08-14 |
Mathias Preiner | Use antlr-3.4 directory if already present in CVC4... |
tree | commitdiff |
2017-07-17 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
2017-07-17 |
Andres Noetzli | Use is_sorted, merge, copy from std (#199) |
tree | commitdiff |
2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
tree | commitdiff |
2017-07-13 |
Aina Niemetz | autoconf: make -std=gnu++11 mandatory |
tree | commitdiff |
2017-05-28 |
Clark Barrett | Merge pull request #164 from CVC4/fix_comp |
tree | commitdiff |
2017-05-28 |
Andres Noetzli | [Competition] Fix ABC, fix CryptoMiniSat req |
tree | commitdiff |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-05-25 |
Liana Hadarean | Merged cryptominisat from experimental branch. |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2015-07-20 |
Tim King | Fix for BOOST_SED_CPP for gcc-5. |
tree | commitdiff |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
2015-04-23 |
Clark Barrett | A few more minor updates to match google repository... |
tree | commitdiff |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-26 |
Morgan Deters | Fix some configuration-related oddness. |
tree | commitdiff |
2014-09-26 |
Morgan Deters | Clarify some licensing-related things. |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
tree | commitdiff |
2014-06-24 |
Morgan Deters | Fix header check for glpk.h. |
tree | commitdiff |
2014-06-23 |
Morgan Deters | Fix header check for glpk.h. |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Better documentation pages. |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
2014-06-22 |
lianah | Merge pull request #39 from mdeters/bv-warnings |
tree | commitdiff |
2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
tree | commitdiff |
2014-06-22 |
Morgan Deters | API documentation improvements. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Minor Doxygen fixes. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
2014-06-18 |
Morgan Deters | Minor Doxygen fixes. |
tree | commitdiff |
2014-06-18 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
tree | commitdiff |
2014-06-17 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug. |
tree | commitdiff |
2014-06-17 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
2014-06-17 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
2014-06-17 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug. |
tree | commitdiff |
2014-06-16 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
tree | commitdiff |
2014-06-16 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
tree | commitdiff |
2014-06-11 |
Morgan Deters | --best now implies --with-glpk --with-abc |
tree | commitdiff |
2014-06-11 |
Morgan Deters | Some clean-up, post bv-merge. |
tree | commitdiff |
2014-05-19 |
Tim King | Fixing documentation for glpk configuration. |
tree | commitdiff |
2014-05-05 |
Tim King | Improving documentation for glpk-cut-log switch. |
tree | commitdiff |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
tree | commitdiff |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
2014-03-07 |
Tim King | Merging a squash of the branch timothy-king/CVC4/glpkne... |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-18 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-17 |
Kshitij Bansal | enable search for html doc |
tree | commitdiff |
2014-01-09 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-09 |
Morgan Deters | gmp is again default, not cln, for build ID (reverting... |
tree | commitdiff |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
tree | commitdiff |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-23 |
Morgan Deters | cln now default w.r.t. build ID string |
tree | commitdiff |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
tree | commitdiff |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives... |
tree | commitdiff |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-12-11 |
Morgan Deters | GLPK build identifier, license warnings. |
tree | commitdiff |
2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings. |
tree | commitdiff |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-14 |
Morgan Deters | Minor fixes for Mac OS Mavericks |
tree | commitdiff |
2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-11-11 |
Morgan Deters | Some fixes to build system with dependency-tracking... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
tree | commitdiff |
next |