Age | Commit message (Expand) | Author |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-28 | Merge pull request #12 from kbansal/in-to-member | Kshitij Bansal |
2014-02-28 | theory/sets: cleanup | Kshitij Bansal |
2014-02-28 | rename kind::IN to kind::MEMBER (fixes some windows build conflicts) | Kshitij Bansal |
2014-02-27 | Merge pull request #11 from kbansal/improve-stats-every-query | Kshitij Bansal |
2014-02-27 | --stats-every-query option: print increment in addition to cumulative value o... | Kshitij Bansal |
2014-02-27 | Bug fix for QCF algorithm, was missing instantiations. Make prop-eq the defa... | Andrew Reynolds |
2014-02-26 | sorry for the missing file | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-26 | add a new file | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-26 | smt-lib syntax change: str.contain -> str.contains; add some prefix syntax fo... | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-25 | Minor code clean up in parser. | Morgan Deters |
2014-02-25 | New translation work, support Z3-str-style string constraints. | Morgan Deters |
2014-02-25 | Fix quotes in string constants. | Morgan Deters |
2014-02-25 | Add options --full-saturate-quant and --mbqi=trust. Other minor changes. | Andrew Reynolds |
2014-02-24 | smt-lib syntax change: str.contain -> str.contains; add some prefix syntax fo... | Tianyi Liang |
2014-02-24 | bug fix: strings preprocess for the orignal term, causing unknown in some cases | Tianyi Liang |
2014-02-21 | Merge branch '1.3.x' | Morgan Deters |
2014-02-21 | No diamond-breaking under quantifiers (resolves bug #550). | Morgan Deters |
2014-02-21 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
2014-02-21 | Merge branch '1.3.x' | Morgan Deters |
2014-02-21 | Fix two variants of Node::substitute(). | Morgan Deters |
2014-02-21 | portfolio: fix export of emptyset | Kshitij Bansal |
2014-02-21 | Fix makefile dependence for system tests. | Morgan Deters |
2014-02-21 | disable test cvc3_main, attempt to fix dist_check | Kshitij Bansal |
2014-02-21 | Merge pull request #10 from kbansal/sets-for-merge | Kshitij Bansal |
2014-02-21 | option to print stats after every satisfiability or validity query | Kshitij Bansal |
2014-02-21 | add new theory (sets) | Kshitij Bansal |
2014-02-21 | fix a -Wunused | Kshitij Bansal |
2014-02-20 | fix makefile | Tianyi Liang |
2014-02-20 | add more tests, and define int.to.str(NEGATIVE)="" | Tianyi Liang |
2014-02-20 | add two cases to the regression test | Tianyi Liang |
2014-02-20 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-20 | hot fix for str2int/int2str | Tianyi Liang |
2014-02-20 | add negative int2str | Tianyi Liang |
2014-02-20 | String parsing example in CVC parser | Morgan Deters |
2014-02-20 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-20 | hot fix for str2int/int2str | Tianyi Liang |
2014-02-20 | add negative int2str | Tianyi Liang |
2014-02-20 | String parsing example in CVC parser | Morgan Deters |
2014-02-20 | Fix ite and iff handling in QCF. Add option for heuristic instantiation in Q... | Andrew Reynolds |
2014-02-20 | portfolio: add stat to track time spent waiting for interrupted threads to stop | Kshitij Bansal |
2014-02-19 | Merge branch 'master' of github.com:CVC4/CVC4 | Tim King |
2014-02-19 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-02-19 | Merge branch '1.3.x' | Tim King |