summaryrefslogtreecommitdiff
path: root/src/theory/strings/term_registry.cpp
AgeCommit message (Expand)Author
2020-08-19Simplify trigger notifications in equality engine (#4921)Andrew Reynolds
2020-08-19Require `--strings-exp` when using `str.substr` (#4916)Andres Noetzli
2020-08-17Dynamic allocation of equality engine in Theory (#4890)Andrew Reynolds
2020-08-12(proof-new) Proof support in the strings term registry. (#4876)Andrew Reynolds
2020-08-05[Strings] Add eager context-dependent evaluation (#4847)Andres Noetzli
2020-07-12Add support for string/sequence update (#4725)Andrew Reynolds
2020-07-06Front end support for sequences (#4690)Andrew Reynolds
2020-06-19(proof-new) Updates to strings term registry (#4599)Andrew Reynolds
2020-06-16Update copyright headers.Aina Niemetz
2020-06-10Add support for str.replace_re/str.replace_re_all (#4594)Andres Noetzli
2020-05-28Fix term registry for constant case, simplify. (#4538)Andrew Reynolds
2020-05-20Throw logic exception for equality between regular expressions (#4505)Andrew Reynolds
2020-04-28Register lower bound for str.to_int (#4408)Andres Noetzli
2020-04-15Split TermRegistry object from TheoryStrings (#4312)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback