2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
blob | commitdiff | raw |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
blob | commitdiff | raw |
2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-13 |
Morgan Deters | To avoid confusion, permit --enable-staticbinary as... |
blob | commitdiff | raw |
2014-07-13 |
Morgan Deters | Versioning for master. |
blob | commitdiff | raw | diff to current |
2014-07-13 |
Morgan Deters | New versioning for development version. |
blob | commitdiff | raw | diff to current |
2014-07-13 |
Morgan Deters | Cutting release 1.4. |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
blob | commitdiff | raw | diff to current |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Minor language bindings fixes. |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Kshitij Bansal | Merge pull request #43 from mdeters/threadstack |
blob | commitdiff | raw | diff to current |
2014-06-25 |
Morgan Deters | Stack-size portfolio fix. If using Boost 1.50, --threa... |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
blob | commitdiff | raw | diff to current |
2014-06-21 |
Morgan Deters | Adjust library dependencies to be more correct (fixes... |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | Fix for mac readline. |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | No more dependence on libstdc++ or PBDS stuff: remove... |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Morgan Deters | Fix for mac readline. |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
blob | commitdiff | raw | diff to current |
2014-06-17 |
Morgan Deters | No more dependence on libstdc++ or PBDS stuff: remove... |
blob | commitdiff | raw | diff to current |
2014-06-17 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
blob | commitdiff | raw | diff to current |
2014-06-16 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Morgan Deters | Some clean-up, post bv-merge. |
blob | commitdiff | raw | diff to current |
2014-06-10 |
lianah | Merging CAV14 paper bit-vector work. |
blob | commitdiff | raw | diff to current |
2014-05-30 |
Morgan Deters | Fix personal.mk for some make targets. |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
blob | commitdiff | raw | diff to current |
2013-12-22 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-19 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Fix an autoconf issue with CLN in some configurations... |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Fix configure handling for CLN (should fix win32 nightl... |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Reduce autoconf version for dependence (should fix... |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | configure --with-portfolio disables CLN. |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives... |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | First attempt at incorporating LFSC proof checker into... |
blob | commitdiff | raw | diff to current |
2013-12-16 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-16 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-14 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-14 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-13 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-13 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-11 |
Morgan Deters | GLPK build identifier, license warnings. |
blob | commitdiff | raw | diff to current |
2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings. |
blob | commitdiff | raw | diff to current |
2013-12-09 |
Morgan Deters | Initializing master for next version. |
blob | commitdiff | raw | diff to current |
next |