projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix exact sqrt (#3721)
[cvc5.git] / test / regress / regress0 / strings /
2020-01-29 Andrew ReynoldsFix isLeq function in String utility (#3659) tree | commitdiff
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) tree | commitdiff
2019-12-05 Andres NoetzliBi-directional unrolling of R* regular expressions... tree | commitdiff
2019-12-02 Andrew ReynoldsEnsure 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 NoetzliBetter heuristic for str.code/re.range (#3220) tree | commitdiff
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion... tree | commitdiff
2019-07-30 Andrew ReynoldsMinor improvement for rewriter for str.replace (#3124) tree | commitdiff
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095) tree | commitdiff
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-05-06 Andres NoetzliAdd support for re.all (#2980) tree | commitdiff
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985) tree | commitdiff
2019-04-17 Andrew ReynoldsFix extended function decomposition (#2960) tree | commitdiff
2019-01-16 Andrew ReynoldsFix constant contains ITOS rewrite (#2799) tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) tree | commitdiff
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) tree | commitdiff
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) tree | commitdiff
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427) tree | commitdiff
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) tree | commitdiff
2018-06-12 Andrew ReynoldsFix strip constant endpoint for ITOS in strings rewrite... tree | commitdiff
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial 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 ReynoldsUpdate semantics for string indexof and replace (#1630) tree | commitdiff
2018-02-27 Andrew ReynoldsImprove rewriter for string indexof (#1592) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2018-02-06 Andrew ReynoldsFix rewrite for string replace (#1537) tree | commitdiff
2017-12-04 Andrew ReynoldsFix strings rewriter for strip constant endpoint revers... tree | commitdiff
2017-11-28 Andrew ReynoldsImprove rewrite for string substr (#1337) tree | commitdiff
2017-11-15 Andrew ReynoldsReenable some regressions, minor. (#1369) tree | commitdiff
2017-11-06 Andrew ReynoldsImprove rewriting for string contains part 2 (#1300) tree | commitdiff
2017-10-28 Andrew ReynoldsImprove strings rewriter for contains (#1207) tree | commitdiff
2017-09-19 Andrew ReynoldsFix issue #1105 involving string to int (#1112) tree | commitdiff
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16... tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-07-29 ajreynolAdd support for charat in native language, minor cleanup. tree | commitdiff
2017-05-10 ajreynolDo not split on cardinality for string equivalence... tree | commitdiff
2017-05-09 ajreynolChange str.replace for empty string. tree | commitdiff
2017-01-30 ajreynolFix regexp cache issue in strings, add regression. tree | commitdiff
2016-12-07 ajreynolFix nf exp tracking for non-linear string equalities... tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-12-01 ajreynolImprovement and bug fix for str.indexof reduction,... tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-08-12 ajreynolAdd a few more regressions. tree | commitdiff
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes tree | commitdiff
2016-08-10 ajreynolImprovements to strings: work on propagations for rever... tree | commitdiff
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-21 ajreynolFixes for strings, explanations for constant split... tree | commitdiff
2016-07-20 ajreynolInfer conflicts in strings based on abstracting equalit... tree | commitdiff
2016-07-08 ajreynolMinor fix to last commit. tree | commitdiff
2016-07-08 ajreynolSimplifications for strings normal forms, fix case... tree | commitdiff
2016-07-07 ajreynolRefactoring of strings preprocess module. When enabled... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-05-21 ajreynolMinor fix for strings. tree | commitdiff
2016-05-20 ajreynolMinor fix to strings, cleanup in datatypes. tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-14 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-13 ajreynolUpdate native language support for strings. tree | commitdiff
2016-02-26 ajreynolRefactoring of inferences in strings. Add several options. tree | commitdiff
2015-11-07 Tim KingChanging file permissions to add or remove executable... tree | commitdiff
2015-11-05 Tim KingMerging the google branch back into master. tree | commitdiff
2015-11-05 Tim KingFixes some initialization and desctruction problems... tree | commitdiff
2015-10-19 ajreynolClean up explanations involving string length. Add... tree | commitdiff
2015-10-19 ajreynolImprove stratification of strings extended function... tree | commitdiff
2015-10-15 ajreynolFix congruence check in strings, fixes bug 686. tree | commitdiff
2015-10-11 ajreynolFix strings preprocessing + incremental, fixes bug... tree | commitdiff
2015-10-06 ajreynolMore improvements to strings rewriter for regexps,... tree | commitdiff
2015-10-02 ajreynolImprovements to rewriter for regexp, contains, indexof... tree | commitdiff
2015-09-28 ajreynolImprove quantifiers engine wrt incremental presolve... tree | commitdiff
2015-09-28 ajreynolMinor fixes to strings, add regressions. tree | commitdiff
2015-09-28 ajreynolAdd missing regression tree | commitdiff
2015-09-28 ajreynolFix bug for trivial extf inferences in strings. Improve... tree | commitdiff
2015-09-27 ajreynolImproved handling of extended operators. Do preprocess... tree | commitdiff
2015-09-26 ajreynolLazy preprocessing of extended operators in strings... tree | commitdiff
2015-09-09 ajreynolFix bug in strings rewriter regarding lengths of substr... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-23 Clark BarrettA few more minor updates to match google repository... tree | commitdiff
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize tree | commitdiff
2015-04-17 Tianyi LiangPatch for Kshitij's fix on requriePhase tree | commitdiff
2015-04-17 Kshitij BansalMerge pull request #72 from kbansal/decision-requirephase tree | commitdiff
2015-04-09 Kshitij Bansaldisable string reqressions timing out after change tree | commitdiff
2015-02-06 Tianyi LiangMinor clean up tree | commitdiff
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks. tree | commitdiff
2015-02-06 Tianyi LiangImproved string performance, thanks to Peter's benchmarks. tree | commitdiff
2015-01-07 Tianyi Liangbug fix, thanks to Pierre's report tree | commitdiff
2014-12-05 Tianyi LiangRelaxed the constant requirement for regular expression... tree | commitdiff
2014-12-03 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2014-11-27 Tianyi Liangadd intersection rewriting tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
next