| 2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
blob | commitdiff | raw |
| 2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
blob | commitdiff | raw |
| 2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
| 2014-07-25 |
Tianyi Liang | patch for regular expression intersection caching |
blob | commitdiff | raw |
| 2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
| 2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
| 2014-04-30 |
Morgan Deters | Fix warnings, cleanup in strings typechecker. |
blob | commitdiff | raw | diff to current |
| 2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
| 2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting |
blob | commitdiff | raw | diff to current |
| 2014-04-28 |
Tianyi Liang | add strings-opt2 for regular splitting |
blob | commitdiff | raw | diff to current |
| 2014-04-28 |
Kshitij Bansal | Merge pull request #25 from kbansal/sets |
blob | commitdiff | raw | diff to current |
| 2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
| 2014-04-19 |
Kshitij Bansal | fix warnings in strings/ |
blob | commitdiff | raw | diff to current |
| 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-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 | add str to u16/u32, and u16/u32 to str |
blob | commitdiff | raw | diff to current |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
blob | commitdiff | raw | diff to current |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
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-01 |
Tianyi Liang | a new regular expression engine for solving both positi... |
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-26 |
Tianyi Liang | for merging |
blob | commitdiff | raw | diff to current |
| 2014-02-26 |
Tianyi Liang | for merging |
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 |
Morgan Deters | Merge branch '1.3.x' |
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 |
Tim King | Merge branch '1.3.x' |
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-01-29 |
Tianyi Liang | add prefixof, suffixof |
blob | commitdiff | raw | diff to current |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
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 |
Kshitij Bansal | Merge branch '1.3.x' |
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-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-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-21 |
Tianyi Liang | adds regular expression range |
blob | commitdiff | raw | diff to current |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
blob | commitdiff | raw | diff to current |
| 2013-10-21 |
Tianyi Liang | adds regular expression range |
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 | Adds regular expression support, it is actually CFL... |
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 |
| 2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-09-11 |
Tianyi Liang | Theory of strings. |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history