Age | Commit message (Expand) | Author |
2014-03-07 | remove unrolling depth | Tianyi Liang |
2014-03-07 | bring back D-Norm | Tianyi Liang |
2014-03-06 | adds incremental for strings; clean-up codes | Tianyi Liang |
2014-02-28 | add re.nostr for the empty regular expression; add re.allchar for the regular... | Tianyi Liang |
2014-02-28 | minor clean-up, bring back derivatives | Tianyi Liang |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-02-26 | for merging | Tianyi Liang |
2014-02-24 | bug fix: strings preprocess for the orignal term, causing unknown in some cases | Tianyi Liang |
2014-02-21 | reorganize substr, fix some potential bugs, adds cache for preprocessing | Tianyi Liang |
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-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 strings preprocessing for justification heuristic | Morgan Deters |
2014-02-17 | type conversion | Tianyi Liang |
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 | resolve merge conflicts | 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-05 | Bug fix for theory strings related to old cycle detection code (was leading t... | Andrew Reynolds |
2014-01-31 | Substr fix: (= (str.substr "" 0 3) "xxx") should be SAT in the defintion of S... | Tianyi Liang |
2014-01-30 | stats for eq/diseq splits | Tianyi Liang |
2014-01-30 | another name change | Tianyi Liang |
2014-01-30 | change string stats text names | Tianyi Liang |
2014-01-30 | adds stats | Tianyi Liang |
2014-01-29 | roll back to uf implementation for substr and charat | Tianyi Liang |
2014-01-29 | add prefixof, suffixof | Tianyi Liang |
2014-01-28 | merge internal and user of charat & substr into one | Tianyi Liang |
2014-01-25 | replace charat uf with internal one | Tianyi Liang |
2014-01-24 | minor fix, indexof rewriter opt | Tianyi Liang |
2014-01-24 | fix: indexof, replace rewriting | Tianyi Liang |
2014-01-24 | rev diseq | Tianyi Liang |
2014-01-24 | rev const split | Tianyi Liang |
2014-01-24 | optimize for the reverse direction | Tianyi Liang |
2014-01-23 | fix: constants are inferred to be the same | Tianyi Liang |
2014-01-23 | minor fix | Tianyi Liang |
2014-01-22 | commented out all_supported in strings for now, it has a bug here. | Tianyi Liang |
2014-01-22 | solve string exp issue for regexp | Tianyi Liang |
2014-01-22 | add warning for using strings in ALL_SUPPORTED | Tianyi Liang |
2014-01-22 | Smarter options, but still have a bug | Tianyi Liang |