| 2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered... |
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | No diamond-breaking under quantifiers (resolves bug... |
commit | commitdiff | tree |
| 2014-02-21 |
Morgan Deters | Fix two variants of Node::substitute(). |
commit | commitdiff | tree |
| 2014-02-19 |
Tim King | Stopping non-linear terms from entering the dio solver... |
commit | commitdiff | tree |
| 2014-01-27 |
Morgan Deters | URL update |
commit | commitdiff | tree |
| 2014-01-18 |
Morgan Deters | Fix for quote-escaping in smt2 printer |
commit | commitdiff | tree |
| 2014-01-17 |
Kshitij Bansal | enable search for html doc |
commit | commitdiff | tree |
| 2014-01-09 |
Morgan Deters | gmp is again default, not cln, for build ID (reverting... |
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Cache apt packages on Travis. |
commit | commitdiff | tree |
| 2014-01-08 |
Morgan Deters | Fix LogicInfo parsing for string logics |
commit | commitdiff | tree |
| 2014-01-02 |
Morgan Deters | Update copyright year. |
commit | commitdiff | tree |
| 2013-12-27 |
Morgan Deters | Fix for ANTLR warning. |
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Better automatic handling of output language setting. |
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Better get-value parse error message for common user... |
commit | commitdiff | tree |
| 2013-12-24 |
Morgan Deters | Minor code cleanup. |
commit | commitdiff | tree |
| 2013-12-23 |
Morgan Deters | cln now default w.r.t. build ID string |
commit | commitdiff | tree |
| 2013-12-22 |
Morgan Deters | Fix to interactive mode determination. |
commit | commitdiff | tree |
| 2013-12-22 |
Morgan Deters | Fix option specification. |
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Fix an autoconf issue with CLN in some configurations... |
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Fix configure handling for CLN (should fix win32 nightl... |
commit | commitdiff | tree |
| 2013-12-18 |
Morgan Deters | Add missing regression-results directory. |
commit | commitdiff | tree |
| 2013-12-17 |
Morgan Deters | configure --with-portfolio disables CLN. |
commit | commitdiff | tree |
| 2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives... |
commit | commitdiff | tree |
| 2013-12-16 |
Morgan Deters | Send Travis-CI emails to everyone |
commit | commitdiff | tree |
| 2013-12-16 |
Morgan Deters | Fix for bug 544. |
commit | commitdiff | tree |
| 2013-12-14 |
Morgan Deters | Another fix for clang. |
commit | commitdiff | tree |
| 2013-12-14 |
Morgan Deters | Fix stack size on in-tree regressions. |
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | cleanup |
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Fix link error when using clang. |
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Fix to Travis-CI config. |
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Travis-CI configuration. |
commit | commitdiff | tree |
| 2013-12-13 |
Morgan Deters | Some minor cleanup. |
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Update NEWS. |
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Fix timer statistics to report correct time even on... |
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Whitespace. |
commit | commitdiff | tree |
| 2013-12-11 |
Morgan Deters | Fix warning. |
commit | commitdiff | tree |
| 2013-12-10 |
Morgan Deters | Remove "NodeValue width" output |
commit | commitdiff | tree |
| 2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings. |
commit | commitdiff | tree |
| 2013-12-09 |
Kshitij Bansal | mv prp to regress1 |
commit | commitdiff | tree |
| 2013-12-07 |
Kshitij Bansal | fix bug 542 |
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Initializing 1.3.x branch. |
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Cutting release 1.3. |
commit | commitdiff | tree |
| 2013-12-06 |
Tianyi Liang | disable substring in default mode |
commit | commitdiff | tree |
| 2013-12-06 |
Morgan Deters | Fix NodeValue bitfields for 32-bit; fix comment. |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Minor cleanup. |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fixes related to parametric datatype printing. |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fix Boolean terms w.r.t. parametric datatypes (e.g... |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Script fixes; when determining authorship of source... |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | Fix NEWS. |
commit | commitdiff | tree |
| 2013-12-05 |
Morgan Deters | NEWS reorganization. |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Remove a regression for which the portfolio takes forev... |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Minor cleanup. |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Partial kind branch merge, including new --rewrite... |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Don't put define-funs in model output; bug 411 testcase... |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Updated acknowledgments. |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | More Java bindings fixes |
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | adds LB strategy |
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | adds LB strategy |
commit | commitdiff | tree |
| 2013-12-04 |
Morgan Deters | Some fixes for swig warnings. |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Last version for undelayed LB |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Last version for undelayed LB |
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Work around a swig segfault issue when building on... |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | change string news |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf perfomance fix |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf changes |
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf perfomance fix |
commit | commitdiff | tree |
| 2013-12-03 |
Kshitij Bansal | rm ChangeLog (use NEWS) |
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | SExpr pretty-printing for :all-options and :all-statistics. |
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Minor cleanup. |
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Add test case for (previously resolved) bug 528. |
commit | commitdiff | tree |
| 2013-12-03 |
Morgan Deters | Support for parametric datatype subtyping, so that... |
commit | commitdiff | tree |
| 2013-12-03 |
lianah | fixed rewriter bug where postRewrite was not caching... |
commit | commitdiff | tree |
| 2013-12-02 |
Morgan Deters | Another fix to Java destruction order issues. Thanks... |
commit | commitdiff | tree |
| 2013-12-02 |
Morgan Deters | Update NEWS file. |
commit | commitdiff | tree |
| 2013-11-29 |
Morgan Deters | Fix proofs build. |
commit | commitdiff | tree |
| 2013-11-29 |
Morgan Deters | Fix portfolio compile error. |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Ignore config/compile file, which newer autotools create |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Fix for compile error when using gcc 4.7 with -std... |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Java bindings improvements for CASCADE, minor cleanup. |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Add missing template instanatiation in Java bindings |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Some versioning in advance of the 1.3 release. |
commit | commitdiff | tree |
| 2013-11-27 |
Morgan Deters | Incremental is now on by default when using from API... |
commit | commitdiff | tree |
| 2013-11-27 |
Andrew Reynolds | Bug fix for E-matching select terms, minor fix for... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix a segfault in the printer infrastructure when calle... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix C++-to-Java exception translation. |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java output stream adapter. |
commit | commitdiff | tree |
| 2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2013-11-26 |
Tianyi Liang | string fmf changes |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Fix Java destruction order issue; thanks to Zheng Manch... |
commit | commitdiff | tree |
| 2013-11-26 |
Morgan Deters | Minor fix for swig bindings. |
commit | commitdiff | tree |
| 2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
commit | commitdiff | tree |
| 2013-11-25 |
Tim King | Substantial Changes: |
commit | commitdiff | tree |
| 2013-11-25 |
Clark Barrett | Array collectModelInfo fix for Andy |
commit | commitdiff | tree |
| 2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog