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 / inference_manager.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-05 Andrew ReynoldsAdd missing stat for lemmas based on inferences (#4214) 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-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-20 Andrew ReynoldsSplit string-specific operators from TheoryStringsRewri... blob | commitdiff | raw | diff to current
2020-02-15 Andrew ReynoldsMove proxy variables to InferenceManager in strings... blob | commitdiff | raw | diff to current
2020-01-30 Andrew ReynoldsMinor updates to string utilities (#3675) blob | commitdiff | raw | diff to current
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398) blob | commitdiff | raw | diff to current
2019-10-16 Andrew ReynoldsSolver state for theory of strings (#3181) blob | commitdiff | raw | diff to current
2019-09-27 Andrew ReynoldsFix case of disjunctive conclusion in strings (#3254) blob | commitdiff | raw | diff to current
2019-08-30 Andres NoetzliBetter heuristic for str.code/re.range (#3220) blob | commitdiff | raw | diff to current
2019-08-23 Andrew Reynolds Infer emptiness instead of splitting when a string... blob | commitdiff | raw | diff to current
2019-07-25 Andrew ReynoldsSplit infer info data structure in strings (#3107) blob | commitdiff | raw | diff to current
2019-07-06 Andrew ReynoldsRefactor strings to use an inference manager object... blob | commitdiff | raw | diff to current