2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting |
blob | commitdiff | raw |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Tianyi Liang | minor typo/bug fix |
blob | commitdiff | raw | diff to current |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
blob | commitdiff | raw | diff to current |
2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
blob | commitdiff | raw | diff to current |
2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add... |
blob | commitdiff | raw | diff to current |
2014-03-01 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
2014-03-01 |
Tianyi Liang | add re.nostr for the empty regular expression; add... |
blob | commitdiff | raw | diff to current |
2014-02-28 |
Tianyi Liang | a new regular expression engine for solving both positi... |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Tianyi Liang | bug fix: strings preprocess for the orignal term, causi... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | reorganize substr, fix some potential bugs, adds cache... |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Tianyi Liang | add more tests, and define int.to.str(NEGATIVE)="" |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | hot fix for str2int/int2str |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | add negative int2str |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | hot fix for str2int/int2str |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Tianyi Liang | add negative int2str |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch 'master' of github.com:CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tianyi Liang | add negative int2str |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Tianyi Liang | str.to.int(INVALID) = -1 |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Tianyi Liang | switch to total function str.to.int: maps invalid and... |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Tianyi Liang | bring back the commits which is lost accidentally. |
blob | commitdiff | raw | diff to current |
2014-02-18 |
Tianyi Liang | add str2int |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Morgan Deters | Fix strings preprocessing for justification heuristic |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Tianyi Liang | type conversion |
blob | commitdiff | raw | diff to current |
2014-02-17 |
Tianyi Liang | type conversion |
blob | commitdiff | raw | diff to current |
2014-02-14 |
Tianyi Liang | partial function charat |
blob | commitdiff | raw | diff to current |
2014-02-14 |
Tianyi Liang | fix expanding def |
blob | commitdiff | raw | diff to current |
2014-01-31 |
Tianyi Liang | Substr fix: (= (str.substr "" 0 3) "xxx") should be... |
blob | commitdiff | raw | diff to current |
2014-01-28 |
Tianyi Liang | merge internal and user of charat & substr into one |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-25 |
Tianyi Liang | replace charat uf with internal one |
blob | commitdiff | raw | diff to current |
2014-01-25 |
Tianyi Liang | minor fix, indexof rewriter opt |
blob | commitdiff | raw | diff to current |
2014-01-24 |
Tianyi Liang | fix: indexof, replace rewriting |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Tianyi Liang | solve string exp issue for regexp |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Tianyi Liang | add warning for using strings in ALL_SUPPORTED |
blob | commitdiff | raw | diff to current |
2014-01-21 |
Tianyi Liang | improve string contains |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Tianyi Liang | improve string contains |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Tianyi Liang | strings with new ideas |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Tianyi Liang | strings with new ideas |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-16 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-01-16 |
Tianyi Liang | adds partial functions |
blob | commitdiff | raw | diff to current |
2014-01-10 |
Tianyi Liang | add repalce |
blob | commitdiff | raw | diff to current |
2014-01-10 |
Tianyi Liang | move new functions under exp options |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Tianyi Liang | add constant replace, indexof |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Tianyi Liang | add constant replace, indexof |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Tianyi Liang | clean some code |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Tianyi Liang | string contain changes |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Tianyi Liang | minor fix |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Tianyi Liang | minor fix |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | new functions in strings |
blob | commitdiff | raw | diff to current |
2013-12-06 |
Tianyi Liang | disable substring in default mode |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-11-04 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-10-15 |
Tianyi Liang | removes some junks |
blob | commitdiff | raw | diff to current |
2013-10-15 |
Tianyi Liang | removes some junks |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Tianyi Liang | Adds Regular Expression support. |
blob | commitdiff | raw | diff to current |
2013-10-11 |
Tianyi Liang | add constant membership |
blob | commitdiff | raw | diff to current |
2013-10-11 |
Tianyi Liang | adds native regexp. |
blob | commitdiff | raw | diff to current |
2013-10-11 |
Tianyi Liang | add constant membership |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Tianyi Liang | adds native regexp. |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Tianyi Liang | adds native regexp. |
blob | commitdiff | raw | diff to current |
2013-10-07 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-10-03 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
blob | commitdiff | raw | diff to current |
2013-10-02 |
Tianyi Liang | adds partial function substr. the use of this function... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Morgan Deters | Some fixes to recent strings commits. |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Morgan Deters | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Tianyi Liang | removes unsound cases, adds unrolling |
blob | commitdiff | raw | diff to current |
|