| 2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str
|
commit | commitdiff | tree |
| 2014-03-28 |
Tianyi Liang | minor printer fix; intersection fix
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds intersection
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | deriv symbolic regexp
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds intersection
|
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop
|
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | deriv symbolic regexp
|
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | adds intersection
|
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | deriv symbolic regexp
|
commit | commitdiff | tree |
| 2014-03-25 |
Tianyi Liang | adds intersection
|
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings
|
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings
|
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | adds intro vars length cache
|
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | minor change for strings-fmf
|
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | minor change for strings-fmf
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | remove unrolling depth
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | bring back D-Norm
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | remove unrolling depth
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | bring back D-Norm
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes
|
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes
|
commit | commitdiff | tree |
| 2014-03-01 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add...
|
commit | commitdiff | tree |
| 2014-03-01 |
Tianyi Liang | minor clean-up, bring back derivatives
|
commit | commitdiff | tree |
| 2014-03-01 |
Tianyi Liang | a new regular expression engine for solving both positive...
|
commit | commitdiff | tree |
| 2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add...
|
commit | commitdiff | tree |
| 2014-02-28 |
Tianyi Liang | minor clean-up, bring back derivatives
|
commit | commitdiff | tree |
| 2014-02-28 |
Tianyi Liang | a new regular expression engine for solving both positive...
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | sorry for the missing file
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | bug fix (caused by merge), move cardinality option...
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | add a new file
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | for merging
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | smt-lib syntax change: str.contain -> str.contains...
|
commit | commitdiff | tree |
| 2014-02-26 |
Tianyi Liang | for merging
|
commit | commitdiff | tree |
| 2014-02-24 |
Tianyi Liang | smt-lib syntax change: str.contain -> str.contains...
|
commit | commitdiff | tree |
| 2014-02-24 |
Tianyi Liang | bug fix: strings preprocess for the orignal term, causing...
|
commit | commitdiff | tree |
| 2014-02-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache...
|
commit | commitdiff | tree |
| 2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache...
|
commit | commitdiff | tree |
| 2014-02-21 |
Tianyi Liang | fix makefile
|
commit | commitdiff | tree |
| 2014-02-21 |
Tianyi Liang | add more tests, and define int.to.str(NEGATIVE)=""
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | add two cases to the regression test
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | hot fix for str2int/int2str
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | add negative int2str
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | hot fix for str2int/int2str
|
commit | commitdiff | tree |
| 2014-02-20 |
Tianyi Liang | add negative int2str
|
commit | commitdiff | tree |
| 2014-02-19 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-19 |
Tianyi Liang | add negative int2str
|
commit | commitdiff | tree |
| 2014-02-18 |
Tianyi Liang | missed files for the latter commit
|
commit | commitdiff | tree |
| 2014-02-18 |
Tianyi Liang | str.to.int(INVALID) = -1
|
commit | commitdiff | tree |
| 2014-02-18 |
Tianyi Liang | switch to total function str.to.int: maps invalid and...
|
commit | commitdiff | tree |
| 2014-02-18 |
Tianyi Liang | bring back the commits which is lost accidentally.
|
commit | commitdiff | tree |
| 2014-02-18 |
Tianyi Liang | add str2int
|
commit | commitdiff | tree |
| 2014-02-17 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-17 |
Tianyi Liang | type conversion
|
commit | commitdiff | tree |
| 2014-02-17 |
Tianyi Liang | type conversion
|
commit | commitdiff | tree |
| 2014-02-14 |
Tianyi Liang | partial function charat
|
commit | commitdiff | tree |
| 2014-02-14 |
Tianyi Liang | fix expanding def
|
commit | commitdiff | tree |
| 2014-02-12 |
Tianyi Liang | bug fix for reverse check
|
commit | commitdiff | tree |
| 2014-02-12 |
Tianyi Liang | lexer fix: disable smt-lib conversion for string literals
|
commit | commitdiff | tree |
| 2014-02-12 |
Tianyi Liang | minor fix for recognizing the tail backslash, still...
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | resolve merge conflicts
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | escaped characters, having an issue with smt-lib defintion...
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | minor fix for merge
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | minor cleanup for merge
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | minor fix for merge
|
commit | commitdiff | tree |
| 2014-02-11 |
Tianyi Liang | escaped characters, having an issue with smt-lib defintion...
|
commit | commitdiff | tree |
| 2014-02-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-06 |
Tianyi Liang | minor cleanup for merge
|
commit | commitdiff | tree |
| 2014-02-06 |
Tianyi Liang | minor fix for merge
|
commit | commitdiff | tree |
| 2014-02-06 |
Tianyi Liang | minor cleanup for merge
|
commit | commitdiff | tree |
| 2014-02-05 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-02-05 |
Tianyi Liang | minor fix for merge
|
commit | commitdiff | tree |
| 2014-02-05 |
Tianyi Liang | minor fix for merge
|
commit | commitdiff | tree |
| 2014-01-31 |
Tianyi Liang | Substr fix: (= (str.substr "" 0 3) "xxx") should be...
|
commit | commitdiff | tree |
| 2014-01-30 |
Tianyi Liang | stats for eq/diseq splits
|
commit | commitdiff | tree |
| 2014-01-30 |
Tianyi Liang | another name change
|
commit | commitdiff | tree |
| 2014-01-30 |
Tianyi Liang | change string stats text names
|
commit | commitdiff | tree |
| 2014-01-30 |
Tianyi Liang | adds stats
|
commit | commitdiff | tree |
| 2014-01-29 |
Tianyi Liang | roll back to uf implementation for substr and charat
|
commit | commitdiff | tree |
| 2014-01-29 |
Tianyi Liang | add prefixof, suffixof
|
commit | commitdiff | tree |
| 2014-01-28 |
Tianyi Liang | merge internal and user of charat & substr into one
|
commit | commitdiff | tree |
| 2014-01-25 |
Tianyi Liang | replace charat uf with internal one
|
commit | commitdiff | tree |
| 2014-01-25 |
Tianyi Liang | minor fix, indexof rewriter opt
|
commit | commitdiff | tree |
| 2014-01-24 |
Tianyi Liang | fix: indexof, replace rewriting
|
commit | commitdiff | tree |
| 2014-01-24 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-01-24 |
Tianyi Liang | rev diseq
|
commit | commitdiff | tree |
| 2014-01-24 |
Tianyi Liang | rev const split
|
commit | commitdiff | tree |
| 2014-01-24 |
Tianyi Liang | optimize for the reverse direction
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search