git.libre-soc.org Git - cvc5.git/history - src/theory/strings/term

[cvc5.git] / src / theory / strings / term_registry.cpp

2020-12-14	Andrew Reynolds	Fix SAT-context dependent issue in strings preregistrat...	blob \| commitdiff \| raw
2020-11-06	Andrew Reynolds	(proof-new) Miscellaneous changes to strings for proofs...	blob \| commitdiff \| raw \| diff to current
2020-11-02	Andrew Reynolds	Update strings proxy variable map to be context indepen...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Andrew Reynolds	Fix related to preregistering boolean term variables...	blob \| commitdiff \| raw \| diff to current
2020-10-20	yoni206	Expand `seq.nth` lazily (#5287)	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-09	Andrew Reynolds	(proof-new) Generalize single step helper in eager...	blob \| commitdiff \| raw \| diff to current
2020-08-20	Andrew Reynolds	Simplify trigger notifications in equality engine ...	blob \| commitdiff \| raw \| diff to current
2020-08-19	Andres Noetzli	Require `--strings-exp` when using `str.substr` (#4916)	blob \| commitdiff \| raw \| diff to current
2020-08-17	Andrew Reynolds	Dynamic allocation of equality engine in Theory (#4890)	blob \| commitdiff \| raw \| diff to current
2020-08-12	Andrew Reynolds	(proof-new) Proof support in the strings term registry...	blob \| commitdiff \| raw \| diff to current
2020-08-05	Andres Noetzli	[Strings] Add eager context-dependent evaluation (...	blob \| commitdiff \| raw \| diff to current
2020-07-13	Andrew Reynolds	Add support for string/sequence update (#4725)	blob \| commitdiff \| raw \| diff to current
2020-07-06	Andrew Reynolds	Front end support for sequences (#4690)	blob \| commitdiff \| raw \| diff to current
2020-06-19	Andrew Reynolds	(proof-new) Updates to strings term registry (#4599)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-10	Andres Noetzli	Add support for str.replace_re/str.replace_re_all ...	blob \| commitdiff \| raw \| diff to current
2020-05-28	Andrew Reynolds	Fix term registry for constant case, simplify. (#4538)	blob \| commitdiff \| raw \| diff to current
2020-05-21	Andrew Reynolds	Throw logic exception for equality between regular...	blob \| commitdiff \| raw \| diff to current
2020-04-28	Andres Noetzli	Register lower bound for str.to_int (#4408)	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Split TermRegistry object from TheoryStrings (#4312)	blob \| commitdiff \| raw \| diff to current

RSS Atom