| 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 |
| 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 |
| 2014-01-23 |
Tianyi Liang | fix: constants are inferred to be the same
|
commit | commitdiff | tree |
| 2014-01-23 |
Tianyi Liang | minor fix
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | commented out all_supported in strings for now, it...
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | solve string exp issue for regexp
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | add warning for using strings in ALL_SUPPORTED
|
commit | commitdiff | tree |
| 2014-01-22 |
Tianyi Liang | Smarter options, but still have a bug
|
commit | commitdiff | tree |
| 2014-01-21 |
Tianyi Liang | Smarter options, but still have a bug
|
commit | commitdiff | tree |
| 2014-01-21 |
Tianyi Liang | improve string contains
|
commit | commitdiff | tree |
| 2014-01-20 |
Tianyi Liang | improve string contains
|
commit | commitdiff | tree |
| 2014-01-18 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-01-18 |
Tianyi Liang | strings with new ideas
|
commit | commitdiff | tree |
| 2014-01-17 |
Tianyi Liang | strings with new ideas
|
commit | commitdiff | tree |
| 2014-01-16 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-01-16 |
Tianyi Liang | adds partial functions
|
commit | commitdiff | tree |
| 2014-01-15 |
Tianyi Liang | adds smt2 print for strings
|
commit | commitdiff | tree |
| 2014-01-15 |
Tianyi Liang | adds smt2 print for strings
|
commit | commitdiff | tree |
| 2014-01-10 |
Tianyi Liang | normal form breaking
|
commit | commitdiff | tree |
| 2014-01-10 |
Tianyi Liang | add repalce
|
commit | commitdiff | tree |
| 2014-01-10 |
Tianyi Liang | move new functions under exp options
|
commit | commitdiff | tree |
| 2014-01-09 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2014-01-09 |
Tianyi Liang | add constant replace, indexof
|
commit | commitdiff | tree |
| 2014-01-09 |
Tianyi Liang | add constant replace, indexof
|
commit | commitdiff | tree |
| 2014-01-09 |
Tianyi Liang | Another way to handle negative contain
|
commit | commitdiff | tree |
| 2014-01-08 |
Tianyi Liang | clean some code
|
commit | commitdiff | tree |
| 2014-01-08 |
Tianyi Liang | remove a warning in strings
|
commit | commitdiff | tree |
| 2014-01-08 |
Tianyi Liang | minor fix, bring back the assertion.
|
commit | commitdiff | tree |
| 2014-01-08 |
Tianyi Liang | string contain changes
|
commit | commitdiff | tree |
| 2013-12-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-12-27 |
Tianyi Liang | minor fix
|
commit | commitdiff | tree |
| 2013-12-27 |
Tianyi Liang | minor fix
|
commit | commitdiff | tree |
| 2013-12-26 |
Tianyi Liang | new functions in strings
|
commit | commitdiff | tree |
| 2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-12-19 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-12-18 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-12-15 |
Tianyi Liang | resolve merge issue.
|
commit | commitdiff | tree |
| 2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-12-09 |
Kshitij Bansal | mv prp to regress1
|
commit | commitdiff | tree |
| 2013-12-09 |
Kshitij Bansal | fix bug 542
|
commit | commitdiff | tree |
| 2013-12-09 |
Morgan Deters | Initializing master for next version.
|
commit | commitdiff | tree |
| 2013-12-09 |
Morgan Deters | Initializing 1.3.x branch.
|
commit | commitdiff | tree |
| 2013-12-09 |
Morgan Deters | Cutting release 1.3.
|
commit | commitdiff | tree |
| 2013-12-06 |
Tianyi Liang | disable substring in default mode
|
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | adds LB strategy
|
commit | commitdiff | tree |
| 2013-12-04 |
Tianyi Liang | adds LB strategy
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Last version for undelayed LB
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Last version for undelayed LB
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | change string news
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf perfomance fix
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf changes
|
commit | commitdiff | tree |
| 2013-12-03 |
Tianyi Liang | string fmf perfomance fix
|
commit | commitdiff | tree |
| 2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-11-26 |
Tianyi Liang | string fmf changes
|
commit | commitdiff | tree |
| 2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-11-21 |
Tianyi Liang | string fmf changes
|
commit | commitdiff | tree |
| 2013-11-21 |
Tianyi Liang | string fmf changes
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | lb change
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add string progress measurements
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add loop cache
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | add loop cache
|
commit | commitdiff | tree |
| 2013-11-12 |
Tianyi Liang | length lemma is changed, var-split lemma is changed
|
commit | commitdiff | tree |
| 2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Fix "make distclean", which should fix some of the...
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Minor fixups to last commit
|
commit | commitdiff | tree |
| 2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include...
|
commit | commitdiff | tree |
| 2013-11-07 |
Tianyi Liang | Adds the header file into makefile, solving building...
|
commit | commitdiff | tree |
| 2013-11-07 |
Tianyi Liang | Adds the header file into makefile, solving building...
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | bug fix
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | change options
|
commit | commitdiff | tree |
| 2013-11-06 |
Andrew Reynolds | Bug fixes for bounded integer quantification. Current...
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | bug fix
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | change options
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | add seperate regular expression files
|
commit | commitdiff | tree |
| 2013-11-06 |
Tianyi Liang | add seperate regular expression files
|
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | add back eager approach
|
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fix for loop rule
|
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fix
|
commit | commitdiff | tree |
| 2013-10-23 |
Tianyi Liang | bug fixes: some issues remain, need more discussion...
|
commit | commitdiff | tree |
| 2013-10-22 |
Tianyi Liang | remove nested re or; opt loop
|
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | string fix
|
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4
|
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | add a string test case
|
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | bug fix for string special case
|
commit | commitdiff | tree |
| 2013-10-21 |
Tianyi Liang | add a string test case
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search