2014-10-22 |
Tianyi Liang | Fixed bug 589
|
commit | commitdiff | tree |
2014-10-17 |
Tianyi Liang | Minor change for performance according to Andy's suggestion.
|
commit | commitdiff | tree |
2014-07-25 |
Tianyi Liang | bug fix for pierre 0717
|
commit | commitdiff | tree |
2014-07-25 |
Tianyi Liang | fix for regexp union rewriting
|
commit | commitdiff | tree |
2014-07-25 |
Tianyi Liang | patch for regular expression intersection caching
|
commit | commitdiff | tree |
2014-07-24 |
Tianyi Liang | merging...
|
commit | commitdiff | tree |
2014-07-24 |
Tianyi Liang | add delayed length lemmas
|
commit | commitdiff | tree |
2014-06-24 |
Tianyi Liang | Merge pull request #41 from mdeters/tianyi-merge
|
commit | commitdiff | tree |
2014-05-19 |
Tianyi Liang | minor fix for string equality engine assertion.
|
commit | commitdiff | tree |
2014-05-13 |
Tianyi Liang | Reject native extended ASCII characters. It requires...
|
commit | commitdiff | tree |
2014-05-13 |
Tianyi Liang | Reject un-escaped extended ASCII characters
|
commit | commitdiff | tree |
2014-05-13 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-05-13 |
Tianyi Liang | Fix a bug in the IndexOf function.
|
commit | commitdiff | tree |
2014-05-13 |
Tianyi Liang | Fix a bug in the IndexOf function.
|
commit | commitdiff | tree |
2014-05-12 |
Tianyi Liang | Add a benchmark that detects a bug in parsing. Thank...
|
commit | commitdiff | tree |
2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-05-12 |
Tianyi Liang | Replace lemma sending with EQ assertions. Fix a typo...
|
commit | commitdiff | tree |
2014-05-12 |
Tianyi Liang | Replace lemma sending with EQ assertions. Fix a typo...
|
commit | commitdiff | tree |
2014-05-08 |
Tianyi Liang | patch to the last commit: add a single character case
|
commit | commitdiff | tree |
2014-05-07 |
Tianyi Liang | fix a bug in contain
|
commit | commitdiff | tree |
2014-05-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-05-07 |
Tianyi Liang | add splits
|
commit | commitdiff | tree |
2014-05-07 |
Tianyi Liang | add splits
|
commit | commitdiff | tree |
2014-05-06 |
Tianyi Liang | fix a bug in replace and contains
|
commit | commitdiff | tree |
2014-05-05 |
Tianyi Liang | add constant regular expression check for intersection.
|
commit | commitdiff | tree |
2014-04-29 |
Tianyi Liang | fix a typo: --string-exp => --strings-exp; fix a signed...
|
commit | commitdiff | tree |
2014-04-29 |
Tianyi Liang | add leading zeros support for str.to.int
|
commit | commitdiff | tree |
2014-04-28 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting
|
commit | commitdiff | tree |
2014-04-28 |
Tianyi Liang | minor change with kshitij's change
|
commit | commitdiff | tree |
2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting
|
commit | commitdiff | tree |
2014-04-24 |
Tianyi Liang | minor change: add a heuristic for preventing constant...
|
commit | commitdiff | tree |
2014-04-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-04-10 |
Tianyi Liang | minor fix for strings
|
commit | commitdiff | tree |
2014-04-10 |
Tianyi Liang | minor fix for strings
|
commit | commitdiff | tree |
2014-04-01 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX
|
commit | commitdiff | tree |
2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX
|
commit | commitdiff | tree |
2014-03-31 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str
|
commit | commitdiff | tree |
2014-03-31 |
Tianyi Liang | minor typo/bug fix
|
commit | commitdiff | tree |
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 |
Morgan Deters | Fix strings-exp setting.
|
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 |
Morgan Deters | String parsing example in CVC parser
|
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 |
Morgan Deters | String parsing example in CVC parser
|
commit | commitdiff | tree |
next |