Age | Commit message (Expand) | Author |
2014-02-21 | No diamond-breaking under quantifiers (resolves bug #550). | Morgan Deters |
2014-02-21 | Fix two variants of Node::substitute(). | Morgan Deters |
2014-02-19 | Stopping non-linear terms from entering the dio solver. Fixes bug 547. | Tim King |
2014-01-17 | Fix for quote-escaping in smt2 printer | Morgan Deters |
2014-01-08 | Fix LogicInfo parsing for string logics | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-27 | Fix for ANTLR warning. | Morgan Deters |
2013-12-24 | Better automatic handling of output language setting. | Morgan Deters |
2013-12-24 | Better get-value parse error message for common user error. | Morgan Deters |
2013-12-24 | Minor code cleanup. | Morgan Deters |
2013-12-22 | Fix to interactive mode determination. | Morgan Deters |
2013-12-22 | Fix option specification. | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-16 | Fix for bug 544. | Morgan Deters |
2013-12-13 | Fix link error when using clang. | Morgan Deters |
2013-12-10 | Fix timer statistics to report correct time even on process abort. | Morgan Deters |
2013-12-10 | Whitespace. | Morgan Deters |
2013-12-10 | Fix warning. | Morgan Deters |
2013-12-10 | Remove "NodeValue width" output | Morgan Deters |
2013-12-07 | fix bug 542 | Kshitij Bansal |
2013-12-05 | disable substring in default mode | Tianyi Liang |
2013-12-05 | Fix NodeValue bitfields for 32-bit; fix comment. | Morgan Deters |
2013-12-05 | Minor cleanup. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-05 | Fixes related to parametric datatype printing. | Morgan Deters |
2013-12-05 | Fix Boolean terms w.r.t. parametric datatypes (e.g., (Pair Bool Bool) now wor... | Morgan Deters |
2013-12-04 | Minor cleanup. | Morgan Deters |
2013-12-04 | Partial kind branch merge, including new --rewrite-apply-to-const feature. | Morgan Deters |
2013-12-04 | Don't put define-funs in model output; bug 411 testcase no longer relevant. | Morgan Deters |
2013-12-04 | More Java bindings fixes | Morgan Deters |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-12-03 | Some fixes for swig warnings. | Morgan Deters |
2013-12-03 | Last version for undelayed LB | Tianyi Liang |
2013-12-03 | Work around a swig segfault issue when building on Mac OS | Morgan Deters |
2013-12-03 | string fmf perfomance fix | Tianyi Liang |
2013-12-03 | string fmf changes | Tianyi Liang |
2013-12-02 | SExpr pretty-printing for :all-options and :all-statistics. | Morgan Deters |
2013-12-02 | Minor cleanup. | Morgan Deters |
2013-12-02 | Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s... | Morgan Deters |
2013-12-02 | fixed rewriter bug where postRewrite was not caching properly | lianah |
2013-12-02 | Another fix to Java destruction order issues. Thanks to Zheng Manchun for th... | Morgan Deters |
2013-11-29 | Fix proofs build. | Morgan Deters |
2013-11-29 | Fix portfolio compile error. | Morgan Deters |
2013-11-27 | Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-27 | Add missing template instanatiation in Java bindings | Morgan Deters |
2013-11-27 | Incremental is now on by default when using from API, off for command-line dr... | Morgan Deters |
2013-11-26 | Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ... | Andrew Reynolds |
2013-11-26 | Fix a segfault in the printer infrastructure when called from API and no lang... | Morgan Deters |