summaryrefslogtreecommitdiff
path: root/src/theory/strings/core_solver.cpp
AgeCommit message (Expand)Author
2020-07-01 Inferences and model construction taking into account seq.unit (#4607)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-06-12Cardinality-related inferences per type in theory of strings (#4585)Andrew Reynolds
2020-05-26(proof-new) Updates to strings skolem cache. (#4524)Andrew Reynolds
2020-05-20Normal form equality conflicts and uniqueness check (#4497)Andrew Reynolds
2020-04-22Ensure disequality splits are processed as lemmas (#4380)Andrew Reynolds
2020-04-20Refactor inference manager in strings to be amenable to proofs (#4363)Andrew Reynolds
2020-04-15Split TermRegistry object from TheoryStrings (#4312)Andrew Reynolds
2020-04-10Explain non-emptiness by non-zero length in strings (#4257)Andrew Reynolds
2020-04-06Enum for all remaining string inferences (#4220)Andrew Reynolds
2020-04-06Refactor disequality processing in string solver (#4209)Andres Noetzli
2020-04-03Split sequences rewriter (#4194)Andrew Reynolds
2020-03-26Add stats for string reductions, lemmas and conflicts (#4149)Andrew Reynolds
2020-03-26Generalize more string-specific functions (#4152)Andrew Reynolds
2020-03-25 Generalize more uses of string-specific functions (#4145)Andrew Reynolds
2020-03-22Collect statistics about normal form inferences (#4127)Andres Noetzli
2020-03-21Simplify heuristic in `processNEqc` (#4129)Andres Noetzli
2020-03-20Generalize mkConcat for types (#4123)Andrew Reynolds
2020-03-20Split string-specific operators from TheoryStringsRewriter (#3920)Andrew Reynolds
2020-03-13Removing a few deprecated options (#4052)Andrew Reynolds
2020-03-09Convert more uses of strings to words (#3921)Andrew Reynolds
2020-03-05Enable -Wshadow and fix warnings. (#3909)Mathias Preiner
2020-02-16Activate reverse variant of F-Split inference (#3745)Andres Noetzli
2020-02-11Remove `--strings-binary-csp` option (#3743)Andres Noetzli
2020-02-10Refactor `CoreSolver::processSimpleNEq()` (#3736)Andres Noetzli
2020-02-07Split core solver from the theory of strings (#3713)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback