Age | Commit message (Expand) | Author |
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 | 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 | 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 | disable test cvc3_main, attempt to fix dist_check | 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 | add more tests, and define int.to.str(NEGATIVE)="" | 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 '1.3.x' | Tim King |
2014-02-19 | Stopping non-linear terms from entering the dio solver. Fixes bug 547. | Tim King |
2014-02-19 | add negative int2str | Tianyi Liang |
2014-02-18 | missed files for the latter commit | Tianyi Liang |
2014-02-18 | str.to.int(INVALID) = -1 | Tianyi Liang |
2014-02-18 | switch to total function str.to.int: maps invalid and non-digit strings to 0 | Tianyi Liang |
2014-02-17 | bring back the commits which is lost accidentally. | Tianyi Liang |
2014-02-17 | add str2int | Tianyi Liang |
2014-02-17 | Fix for strings-exp: enable quantifiers | Morgan Deters |
2014-02-17 | Fix strings preprocessing for justification heuristic | Morgan Deters |
2014-02-17 | type conversion | Tianyi Liang |
2014-02-14 | Make QCF more incremental. Fix bug in QCF handling of ITE formulas, add supp... | Andrew Reynolds |
2014-02-14 | partial function charat | Tianyi Liang |
2014-02-13 | fix expanding def | Tianyi Liang |
2014-02-12 | bug fix for reverse check | Tianyi Liang |
2014-02-11 | lexer fix: disable smt-lib conversion for string literals | Tianyi Liang |
2014-02-11 | minor fix for recognizing the tail backslash, still have smt-lib compliance i... | Tianyi Liang |
2014-02-11 | resolve merge conflicts | Tianyi Liang |
2014-02-11 | escaped characters, having an issue with smt-lib defintion, further repair is... | Tianyi Liang |
2014-02-11 | minor fix for merge | Tianyi Liang |
2014-02-11 | minor cleanup for merge | Tianyi Liang |
2014-02-11 | minor fix for merge | Tianyi Liang |
2014-02-09 | More complete guess instantiation strategy, cvc4 now typically times out inst... | Andrew Reynolds |
2014-02-06 | Minor fix for previous commit | Morgan Deters |
2014-02-06 | Oops.. premature push on lexer fix (remove debugging output) | Morgan Deters |