projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new interfaces to term formula removal and theory preprocess (#5717)
[cvc5.git] / src / theory / strings /
2020-04-28 Andrew ReynoldsUpdate cardinality in strings to unicode standard ... tree | commitdiff
2020-04-23 Andres NoetzliIntroduce best content heuristic for strings (#4382) tree | commitdiff
2020-04-23 Andres NoetzliStrings: Register skolems before sending lemma (#4381) tree | commitdiff
2020-04-22 Andrew ReynoldsEnsure disequality splits are processed as lemmas ... tree | commitdiff
2020-04-22 Andres NoetzliReinstantiate support for conjunctions in facts (#4377) tree | commitdiff
2020-04-20 Andrew ReynoldsRefactor inference manager in strings to be amenable... tree | commitdiff
2020-04-18 Andrew ReynoldsTrack inference id for pending facts in strings (#4331) tree | commitdiff
2020-04-16 Andrew ReynoldsEliminate remaining references to parent TheoryStrings... tree | commitdiff
2020-04-15 Andrew ReynoldsMove regular expression inclusion test to RegExpEntail... tree | commitdiff
2020-04-15 Andrew ReynoldsSplit TermRegistry object from TheoryStrings (#4312) tree | commitdiff
2020-04-15 Andrew ReynoldsDo not mark string extended functions as eliminated... tree | commitdiff
2020-04-15 Andrew ReynoldsConvert more cases of strings to words (#4206) tree | commitdiff
2020-04-14 Andrew ReynoldsRemove a few options (#4295) tree | commitdiff
2020-04-10 Andrew ReynoldsExplain non-emptiness by non-zero length in strings... tree | commitdiff
2020-04-10 Andrew ReynoldsAdd a few stats to strings (#4252) tree | commitdiff
2020-04-08 Andres NoetzliPerform theory widening eagerly (#4044) tree | commitdiff
2020-04-07 Andrew ReynoldsEnum for all remaining string inferences (#4220) tree | commitdiff
2020-04-06 Andres NoetzliRefactor disequality processing in string solver (... tree | commitdiff
2020-04-05 Andrew ReynoldsAdd missing stat for lemmas based on inferences (#4214) tree | commitdiff
2020-04-05 Andrew ReynoldsType-independent preregistration of empty word (#4205) tree | commitdiff
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... tree | commitdiff
2020-04-03 Andrew ReynoldsSplit sequences rewriter (#4194) tree | commitdiff
2020-04-02 Andrew ReynoldsIntroduce enums for all string inferences, excluding... tree | commitdiff
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) tree | commitdiff
2020-03-31 Andrew ReynoldsConvert more uses of string-specific functions (#4158) tree | commitdiff
2020-03-30 Andrew ReynoldsRewrites for all remaining return statements in strings... tree | commitdiff
2020-03-30 Andrew ReynoldsSupport indexed operators re.loop and re.^ (#4167) tree | commitdiff
2020-03-29 Andrew ReynoldsEnumeration for String rewrites (#4173) tree | commitdiff
2020-03-27 Andrew ReynoldsMove string utility file (#4164) tree | commitdiff
2020-03-27 Andrew ReynoldsSupport unicode internal representation and escape... tree | commitdiff
2020-03-26 Andrew ReynoldsAdd stats for string reductions, lemmas and conflicts... tree | commitdiff
2020-03-26 Andrew ReynoldsGeneralize more string-specific functions (#4152) tree | commitdiff
2020-03-26 Andrew ReynoldsCare graphs based on polymorphic operators in strings... tree | commitdiff
2020-03-25 Andres NoetzliSupport async-signal-safe printing of inferences (... tree | commitdiff
2020-03-25 Andrew Reynolds Generalize more uses of string-specific functions... tree | commitdiff
2020-03-23 Andres NoetzliCollect statistics about normal form inferences (#4127) tree | commitdiff
2020-03-21 Andres NoetzliSimplify heuristic in `processNEqc` (#4129) tree | commitdiff
2020-03-20 Andrew ReynoldsGeneralize mkConcat for types (#4123) tree | commitdiff
2020-03-20 Andrew ReynoldsSplit string-specific operators from TheoryStringsRewri... tree | commitdiff
2020-03-20 Andrew ReynoldsRefactor enumerator for strings (#4014) tree | commitdiff
2020-03-19 Andres NoetzliOnly apply testConstStringInRegExp to const regexp... tree | commitdiff
2020-03-13 Andrew ReynoldsRemoving a few deprecated options (#4052) tree | commitdiff
2020-03-13 Andrew ReynoldsGeneralize type rules for strings to sequences (#3987) tree | commitdiff
2020-03-09 Andrew ReynoldsConvert more uses of strings to words (#3921) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-03-02 Andrew Reynolds Split collect model info by types in strings (#3847) tree | commitdiff
2020-02-29 Andrew ReynoldsConvert more uses of string to word (#3834) tree | commitdiff
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829) tree | commitdiff
2020-02-27 Andrew ReynoldsFix large models for strings (#3835) tree | commitdiff
2020-02-27 Andrew ReynoldsAdd support for is_digit and regular expression differe... tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-27 Andrew ReynoldsSome initial work on using words (#3819) tree | commitdiff
2020-02-26 Andrew ReynoldsBasic support for regular expression complement (#3437) tree | commitdiff
2020-02-26 Andrew ReynoldsMove equivalence class info to its own file in strings... tree | commitdiff
2020-02-24 Andrew ReynoldsUtilities for words (#3797) tree | commitdiff
2020-02-23 Andrew ReynoldsMinor refactoring of equality notifications (#3798) tree | commitdiff
2020-02-22 Andrew Reynolds Move check memberships to reg exp solver (#3793) tree | commitdiff
2020-02-22 Andrew ReynoldsMove cardinality inference scheme to base solver in... tree | commitdiff
2020-02-21 Andrew ReynoldsSplit extended functions solver in strings (#3768) tree | commitdiff
2020-02-16 Andres NoetzliActivate reverse variant of F-Split inference (#3745) tree | commitdiff
2020-02-15 Andrew ReynoldsMove proxy variables to InferenceManager in strings... tree | commitdiff
2020-02-11 Andres NoetzliRemove `--strings-binary-csp` option (#3743) tree | commitdiff
2020-02-11 Andres NoetzliRefactor `CoreSolver::processSimpleNEq()` (#3736) tree | commitdiff
2020-02-08 Andrew ReynoldsSplit strings finite model finding strategy (#3727) tree | commitdiff
2020-02-08 Andrew ReynoldsSplit core solver from the theory of strings (#3713) tree | commitdiff
2020-02-04 Andrew ReynoldsSplit base solver from the theory of strings (#3680) tree | commitdiff
2020-02-04 Andres NoetzliRevert semantic change from refactoring (#3711) tree | commitdiff
2020-01-30 Andrew ReynoldsMove disequality list to solver state in strings (... tree | commitdiff
2020-01-30 Andres NoetzliBetter heuristics for marking congruent variables ... tree | commitdiff
2020-01-30 Andrew ReynoldsModularize more steps in the strings strategy (#3676) tree | commitdiff
2020-01-30 Andrew ReynoldsMinor updates to string utilities (#3675) tree | commitdiff
2020-01-10 Andres NoetzliOptimize str.substr reduction (#3595) tree | commitdiff
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) tree | commitdiff
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) tree | commitdiff
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547) tree | commitdiff
2019-12-07 Andres NoetzliSimplify rewrite for character matching (#3545) tree | commitdiff
2019-12-07 Andres NoetzliUse str.subtr in str.to.int/int.to.str reduction (... tree | commitdiff
2019-12-06 Andres NoetzliAdd lemma for str.to.int/int.to.str (#3541) tree | commitdiff
2019-12-05 Andres NoetzliBi-directional unrolling of R* regular expressions... tree | commitdiff
2019-12-04 Andres NoetzliFix corner case in model construction of strings (... tree | commitdiff
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching... tree | commitdiff
2019-11-27 Andrew Reynolds Fix indexof range lemma (#3499) tree | commitdiff
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398) tree | commitdiff
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (... tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) tree | commitdiff
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181) tree | commitdiff
2019-10-14 Andrew ReynoldsMinor refactor in strings rewriter (#3387) tree | commitdiff
2019-10-08 Piotr Trojanekprefer prefix ++ operator for iterators tree | commitdiff
2019-10-06 Andrew ReynoldsFix str to int reduction (#3358) tree | commitdiff
2019-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957) tree | commitdiff
2019-09-29 Andres NoetzliIntroduce template classes for simple type rules (... tree | commitdiff
2019-09-27 Andrew ReynoldsFix case of disjunctive conclusion in strings (#3254) tree | commitdiff
2019-09-25 Andrew Reynolds Fix off by one error in strings flat form explanation... tree | commitdiff
2019-09-19 Andrew ReynoldsSupport context-(in)dependent decision strategies.... tree | commitdiff
2019-08-30 Andres NoetzliFix out-of-bounds access in regexp inclusion test ... 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-08-23 Andrew Reynolds Infer emptiness instead of splitting when a string... tree | commitdiff
2019-08-22 Andrew Reynolds Local substitutions for context-depdendent simplificat... tree | commitdiff
next