Age | Commit message (Expand) | Author |
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 |
2014-01-22 | Delay QuantifiersEngine and UF strong solver initialization until after final... | Morgan Deters |
2014-01-20 | improve string contains | Tianyi Liang |
2014-01-20 | improve string contains | Tianyi Liang |
2014-01-18 | strings with new ideas | Tianyi Liang |
2014-01-16 | adds partial functions | Tianyi Liang |
2014-01-15 | adds smt2 print for strings | Tianyi Liang |
2014-01-10 | normal form breaking | Tianyi Liang |
2014-01-10 | add repalce | Tianyi Liang |
2014-01-09 | move new functions under exp options | Tianyi Liang |
2014-01-09 | add constant replace, indexof | Tianyi Liang |
2014-01-09 | Another way to handle negative contain | Tianyi Liang |
2014-01-08 | clean some code | Tianyi Liang |
2014-01-07 | remove a warning in strings | Tianyi Liang |
2014-01-07 | minor fix, bring back the assertion. | Tianyi Liang |
2014-01-07 | string contain changes | Tianyi Liang |
2013-12-27 | minor fix | Tianyi Liang |
2013-12-26 | new functions in strings | Tianyi Liang |
2013-12-24 | Minor code cleanup. | Morgan Deters |
2013-12-05 | disable substring in default mode | Tianyi Liang |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-12-03 | Last version for undelayed LB | Tianyi Liang |
2013-12-03 | string fmf perfomance fix | Tianyi Liang |
2013-12-03 | string fmf changes | Tianyi Liang |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-12 | lb change | Tianyi Liang |
2013-11-12 | add string progress measurements | Tianyi Liang |
2013-11-12 | add loop cache | Tianyi Liang |
2013-11-11 | length lemma is changed, var-split lemma is changed | Tianyi Liang |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-11-07 | Adds the header file into makefile, solving building error; adds cache for de... | Tianyi Liang |
2013-11-06 | bug fix | Tianyi Liang |
2013-11-06 | change options | Tianyi Liang |
2013-11-06 | add seperate regular expression files | Tianyi Liang |
2013-10-23 | add back eager approach | Tianyi Liang |
2013-10-23 | bug fix for loop rule | Tianyi Liang |
2013-10-23 | bug fix | Tianyi Liang |
2013-10-22 | bug fixes: some issues remain, need more discussion later | Tianyi Liang |