2020-04-01 |
Andrew Reynolds | Support char smt-lib syntax (#4188) |
tree | commitdiff |
2020-03-30 |
Andrew Reynolds | Support indexed operators re.loop and re.^ (#4167) |
tree | commitdiff |
2020-03-27 |
Andrew Reynolds | Support unicode internal representation and escape... |
tree | commitdiff |
2020-03-19 |
Andres Noetzli | Only apply testConstStringInRegExp to const regexp... |
tree | commitdiff |
2020-02-29 |
Andres Noetzli | Add support for str.from_code (#3829) |
tree | commitdiff |
2020-02-27 |
Andrew Reynolds | Fix large models for strings (#3835) |
tree | commitdiff |
2020-02-27 |
Andrew Reynolds | Add support for is_digit and regular expression differe... |
tree | commitdiff |
2020-02-26 |
Andrew Reynolds | Basic support for regular expression complement (#3437) |
tree | commitdiff |
2020-02-21 |
Andrew Reynolds | Simple changes towards unicode string standard (#3791) |
tree | commitdiff |
2020-01-29 |
Andrew Reynolds | Fix isLeq function in String utility (#3659) |
tree | commitdiff |
2019-12-23 |
Andrew Reynolds | Initial support for string reverse (#3581) |
tree | commitdiff |
2019-12-05 |
Andres Noetzli | Bi-directional unrolling of R* regular expressions... |
tree | commitdiff |
2019-12-02 |
Andrew Reynolds | Ensure quantifiers options are set with --no-strings... |
tree | commitdiff |
2019-11-27 |
Andrew Reynolds | Fix indexof range lemma (#3499) |
tree | commitdiff |
2019-10-08 |
Andres Noetzli | [CVC Parser] Add support for regular expressions (... |
tree | commitdiff |
2019-08-30 |
Andres Noetzli | Better heuristic for str.code/re.range (#3220) |
tree | commitdiff |
2019-08-30 |
Andres Noetzli | Infer conflicts based on regular expression inclusion... |
tree | commitdiff |
2019-07-30 |
Andrew Reynolds | Minor improvement for rewriter for str.replace (#3124) |
tree | commitdiff |
2019-07-18 |
Andrew Reynolds | Basic rewrites for tolower/toupper (#3095) |
tree | commitdiff |
2019-07-16 |
Andrew Reynolds | Add support for str.tolower and str.toupper (#3092) |
tree | commitdiff |
2019-06-12 |
Andres Noetzli | Refactor parser to define fewer tokens for symbols... |
tree | commitdiff |
2019-05-06 |
Andres Noetzli | Add support for re.all (#2980) |
tree | commitdiff |
2019-04-30 |
Andrew Reynolds | Remove stoi solve rewrite (#2985) |
tree | commitdiff |
2019-04-17 |
Andrew Reynolds | Fix extended function decomposition (#2960) |
tree | commitdiff |
2019-01-16 |
Andrew Reynolds | Fix constant contains ITOS rewrite (#2799) |
tree | commitdiff |
2018-11-21 |
Andrew Reynolds | Support string replace all (#2704) |
tree | commitdiff |
2018-11-07 |
Andres Noetzli | Fix collectEmptyEqs in string rewriter (#2692) |
tree | commitdiff |
2018-10-18 |
Andrew Reynolds | Non-contributing find replace rewrite (#2652) |
tree | commitdiff |
2018-09-30 |
Andrew Reynolds | Add rewrite for solving stoi (#2532) |
tree | commitdiff |
2018-09-27 |
Andrew Reynolds | Fix homogeneous string constant rewrite (#2545) |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added regression tests and target make regress. |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
2018-09-05 |
Andrew Reynolds | Extended rewriter for string equalities (#2427) |
tree | commitdiff |
2018-08-30 |
Andrew Reynolds | Add regular expression elimination module (#2400) |
tree | commitdiff |
2018-06-12 |
Andrew Reynolds | Fix strip constant endpoint for ITOS in strings rewrite... |
tree | commitdiff |
2018-05-08 |
Andrew Reynolds | Support for str.<= and str.< (#1882) |
tree | commitdiff |
2018-05-03 |
Andrew Reynolds | Initial support for string standard in smt lib 2.6... |
tree | commitdiff |
2018-03-21 |
Andres Noetzli | Move regression tests to single Makefile.am (#1658) |
tree | commitdiff |
2018-03-06 |
Andrew Reynolds | Update semantics for string indexof and replace (#1630) |
tree | commitdiff |
2018-02-27 |
Andrew Reynolds | Improve rewriter for string indexof (#1592) |
tree | commitdiff |
2018-02-15 |
Andrew Reynolds | Refactor regressions (#1581) |
tree | commitdiff |
2018-02-06 |
Andrew Reynolds | Fix rewrite for string replace (#1537) |
tree | commitdiff |
2017-12-04 |
Andrew Reynolds | Fix strings rewriter for strip constant endpoint revers... |
tree | commitdiff |
2017-11-28 |
Andrew Reynolds | Improve rewrite for string substr (#1337) |
tree | commitdiff |
2017-11-15 |
Andrew Reynolds | Reenable some regressions, minor. (#1369) |
tree | commitdiff |
2017-11-06 |
Andrew Reynolds | Improve rewriting for string contains part 2 (#1300) |
tree | commitdiff |
2017-10-28 |
Andrew Reynolds | Improve strings rewriter for contains (#1207) |
tree | commitdiff |
2017-09-19 |
Andrew Reynolds | Fix issue #1105 involving string to int (#1112) |
tree | commitdiff |
2017-09-05 |
Andrew Reynolds | Remove support for conversions between uint32/uint16... |
tree | commitdiff |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
tree | commitdiff |
2017-08-04 |
ajreynol | Set default language to smt lib 2.6 (including as a... |
tree | commitdiff |
2017-07-29 |
ajreynol | Add support for charat in native language, minor cleanup. |
tree | commitdiff |
2017-05-10 |
ajreynol | Do not split on cardinality for string equivalence... |
tree | commitdiff |
2017-05-09 |
ajreynol | Change str.replace for empty string. |
tree | commitdiff |
2017-01-30 |
ajreynol | Fix regexp cache issue in strings, add regression. |
tree | commitdiff |
2016-12-07 |
ajreynol | Fix nf exp tracking for non-linear string equalities... |
tree | commitdiff |
2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
tree | commitdiff |
2016-12-01 |
ajreynol | Improvement and bug fix for str.indexof reduction,... |
tree | commitdiff |
2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
tree | commitdiff |
2016-11-18 |
Andres Notzli | Fix Makefiles in test |
tree | commitdiff |
2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment... |
tree | commitdiff |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2016-08-12 |
ajreynol | Add a few more regressions. |
tree | commitdiff |
2016-08-12 |
guykatzz | Merge pull request #90 from 4tXJ7f/fewer_preproc_holes |
tree | commitdiff |
2016-08-10 |
ajreynol | Improvements to strings: work on propagations for rever... |
tree | commitdiff |
2016-07-25 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split... |
tree | commitdiff |
2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equalit... |
tree | commitdiff |
2016-07-08 |
ajreynol | Minor fix to last commit. |
tree | commitdiff |
2016-07-08 |
ajreynol | Simplifications for strings normal forms, fix case... |
tree | commitdiff |
2016-07-07 |
ajreynol | Refactoring of strings preprocess module. When enabled... |
tree | commitdiff |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-05-21 |
ajreynol | Minor fix for strings. |
tree | commitdiff |
2016-05-20 |
ajreynol | Minor fix to strings, cleanup in datatypes. |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-14 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-13 |
ajreynol | Update native language support for strings. |
tree | commitdiff |
2016-02-26 |
ajreynol | Refactoring of inferences in strings. Add several options. |
tree | commitdiff |
2015-11-07 |
Tim King | Changing file permissions to add or remove executable... |
tree | commitdiff |
2015-11-05 |
Tim King | Merging the google branch back into master. |
tree | commitdiff |
2015-11-05 |
Tim King | Fixes some initialization and desctruction problems... |
tree | commitdiff |
2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
tree | commitdiff |
2015-10-19 |
ajreynol | Improve stratification of strings extended function... |
tree | commitdiff |
2015-10-15 |
ajreynol | Fix congruence check in strings, fixes bug 686. |
tree | commitdiff |
2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
tree | commitdiff |
2015-10-06 |
ajreynol | More improvements to strings rewriter for regexps,... |
tree | commitdiff |
2015-10-02 |
ajreynol | Improvements to rewriter for regexp, contains, indexof... |
tree | commitdiff |
2015-09-28 |
ajreynol | Improve quantifiers engine wrt incremental presolve... |
tree | commitdiff |
2015-09-28 |
ajreynol | Minor fixes to strings, add regressions. |
tree | commitdiff |
2015-09-28 |
ajreynol | Add missing regression |
tree | commitdiff |
2015-09-28 |
ajreynol | Fix bug for trivial extf inferences in strings. Improve... |
tree | commitdiff |
2015-09-27 |
ajreynol | Improved handling of extended operators. Do preprocess... |
tree | commitdiff |
2015-09-26 |
ajreynol | Lazy preprocessing of extended operators in strings... |
tree | commitdiff |
2015-09-09 |
ajreynol | Fix bug in strings rewriter regarding lengths of substr... |
tree | commitdiff |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
2015-04-23 |
Clark Barrett | A few more minor updates to match google repository... |
tree | commitdiff |
2015-04-22 |
Kshitij Bansal | Merge pull request #73 from kbansal/parser-dont-tokenize |
tree | commitdiff |
2015-04-17 |
Tianyi Liang | Patch for Kshitij's fix on requriePhase |
tree | commitdiff |
2015-04-17 |
Kshitij Bansal | Merge pull request #72 from kbansal/decision-requirephase |
tree | commitdiff |
next |