Age | Commit message (Expand) | Author |
---|---|---|
2020-03-26 | Add stats for string reductions, lemmas and conflicts (#4149) | Andrew Reynolds |
2020-02-22 | Move check memberships to reg exp solver (#3793) | Andrew Reynolds |
2020-02-21 | Split extended functions solver in strings (#3768) | Andrew Reynolds |