summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-12-05NEWS reorganization.Morgan Deters
2013-12-04Remove a regression for which the portfolio takes forever (see bug 542).Morgan Deters
2013-12-04Minor cleanup.Morgan Deters
2013-12-04Partial kind branch merge, including new --rewrite-apply-to-const feature.Morgan Deters
2013-12-04Don't put define-funs in model output; bug 411 testcase no longer relevant.Morgan Deters
2013-12-04Updated acknowledgments.Morgan Deters
2013-12-04More Java bindings fixesMorgan Deters
2013-12-03Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-12-03adds LB strategyTianyi Liang
2013-12-03adds LB strategyTianyi Liang
2013-12-03Some fixes for swig warnings.Morgan Deters
2013-12-03Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-12-03Last version for undelayed LBTianyi Liang
2013-12-03Last version for undelayed LBTianyi Liang
2013-12-03Work around a swig segfault issue when building on Mac OSMorgan Deters
2013-12-03change string newsTianyi Liang
2013-12-03Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-12-03string fmf perfomance fixTianyi Liang
2013-12-03string fmf changesTianyi Liang
2013-12-03string fmf perfomance fixTianyi Liang
2013-12-03rm ChangeLog (use NEWS)Kshitij Bansal
2013-12-02SExpr pretty-printing for :all-options and :all-statistics.Morgan Deters
2013-12-02Minor cleanup.Morgan Deters
2013-12-02Add test case for (previously resolved) bug 528.Morgan Deters
2013-12-02Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s...Morgan Deters
2013-12-02fixed rewriter bug where postRewrite was not caching properlylianah
2013-12-02Another fix to Java destruction order issues. Thanks to Zheng Manchun for th...Morgan Deters
2013-12-02Update NEWS file.Morgan Deters
2013-11-29Fix proofs build.Morgan Deters
2013-11-29Fix portfolio compile error.Morgan Deters
2013-11-27Ignore config/compile file, which newer autotools createMorgan Deters
2013-11-27Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin...Morgan Deters
2013-11-27General pre-release cleanup commitMorgan Deters
2013-11-27Java bindings improvements for CASCADE, minor cleanup.Morgan Deters
2013-11-27Add missing template instanatiation in Java bindingsMorgan Deters
2013-11-27Some versioning in advance of the 1.3 release.Morgan Deters
2013-11-27Incremental is now on by default when using from API, off for command-line dr...Morgan Deters
2013-11-26Bug fix for E-matching select terms, minor fix for bounded integers, bug fix ...Andrew Reynolds
2013-11-26Fix a segfault in the printer infrastructure when called from API and no lang...Morgan Deters
2013-11-26Fix C++-to-Java exception translation.Morgan Deters
2013-11-26Fix Java output stream adapter.Morgan Deters
2013-11-26Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-11-26string fmf changesTianyi Liang
2013-11-26Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ...Morgan Deters
2013-11-26Minor fix for swig bindings.Morgan Deters
2013-11-25Merge remote-tracking branch 'CVC4root/master'Tim King
2013-11-25Substantial Changes:Tim King
2013-11-25Array collectModelInfo fix for AndyClark Barrett
2013-11-21Merge branch 'master' of github.com:tiliang/CVC4Tianyi Liang
2013-11-21string fmf changesTianyi Liang
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback