Age | Commit message (Expand) | Author |
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-05 | Script fixes; when determining authorship of source files, don't count copyri... | Morgan Deters |
2013-12-05 | Fix NEWS. | Morgan Deters |
2013-12-05 | NEWS reorganization. | Morgan Deters |
2013-12-04 | Remove a regression for which the portfolio takes forever (see bug 542). | 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 | Updated acknowledgments. | Morgan Deters |
2013-12-04 | More Java bindings fixes | Morgan Deters |
2013-12-03 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-12-03 | Some fixes for swig warnings. | Morgan Deters |
2013-12-03 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2013-12-03 | Last version for undelayed LB | Tianyi Liang |
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 | change string news | Tianyi Liang |
2013-12-03 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2013-12-03 | string fmf perfomance fix | Tianyi Liang |
2013-12-03 | string fmf changes | Tianyi Liang |
2013-12-03 | string fmf perfomance fix | Tianyi Liang |
2013-12-03 | rm ChangeLog (use NEWS) | Kshitij Bansal |
2013-12-02 | SExpr pretty-printing for :all-options and :all-statistics. | Morgan Deters |
2013-12-02 | Minor cleanup. | Morgan Deters |
2013-12-02 | Add test case for (previously resolved) bug 528. | 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-12-02 | Update NEWS file. | Morgan Deters |
2013-11-29 | Fix proofs build. | Morgan Deters |
2013-11-29 | Fix portfolio compile error. | Morgan Deters |
2013-11-27 | Ignore config/compile file, which newer autotools create | 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 | Some versioning in advance of the 1.3 release. | 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 |
2013-11-26 | Fix C++-to-Java exception translation. | Morgan Deters |
2013-11-26 | Fix Java output stream adapter. | Morgan Deters |
2013-11-26 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2013-11-26 | string fmf changes | Tianyi Liang |
2013-11-26 | Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ... | Morgan Deters |