projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Enum for all remaining string inferences (#4220)
[cvc5.git] / src / theory / strings / core_solver.cpp
2020-04-07 Andrew ReynoldsEnum for all remaining string inferences (#4220) blob | commitdiff | raw
2020-04-06 Andres NoetzliRefactor disequality processing in string solver (... blob | commitdiff | raw | diff to current
2020-04-03 Andrew ReynoldsSplit sequences rewriter (#4194) blob | commitdiff | raw | diff to current
2020-03-26 Andrew ReynoldsAdd stats for string reductions, lemmas and conflicts... blob | commitdiff | raw | diff to current
2020-03-26 Andrew ReynoldsGeneralize more string-specific functions (#4152) blob | commitdiff | raw | diff to current
2020-03-25 Andrew Reynolds Generalize more uses of string-specific functions... blob | commitdiff | raw | diff to current
2020-03-23 Andres NoetzliCollect statistics about normal form inferences (#4127) blob | commitdiff | raw | diff to current
2020-03-21 Andres NoetzliSimplify heuristic in `processNEqc` (#4129) blob | commitdiff | raw | diff to current
2020-03-20 Andrew ReynoldsGeneralize mkConcat for types (#4123) blob | commitdiff | raw | diff to current
2020-03-20 Andrew ReynoldsSplit string-specific operators from TheoryStringsRewri... blob | commitdiff | raw | diff to current
2020-03-13 Andrew ReynoldsRemoving a few deprecated options (#4052) blob | commitdiff | raw | diff to current
2020-03-09 Andrew ReynoldsConvert more uses of strings to words (#3921) blob | commitdiff | raw | diff to current
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) blob | commitdiff | raw | diff to current
2020-02-16 Andres NoetzliActivate reverse variant of F-Split inference (#3745) blob | commitdiff | raw | diff to current
2020-02-11 Andres NoetzliRemove `--strings-binary-csp` option (#3743) blob | commitdiff | raw | diff to current
2020-02-11 Andres NoetzliRefactor `CoreSolver::processSimpleNEq()` (#3736) blob | commitdiff | raw | diff to current
2020-02-08 Andrew ReynoldsSplit core solver from the theory of strings (#3713) blob | commitdiff | raw | diff to current