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

2020-05-26	Andrew Reynolds	(proof-new) Updates to strings skolem cache. (#4524)	blob \| commitdiff \| raw
2020-04-30	Andrew Reynolds	Remove skolem share involving pre_first_ctn. (#4423)	blob \| commitdiff \| raw \| diff to current
2020-04-03	Andrew Reynolds	Split sequences rewriter (#4194)	blob \| commitdiff \| raw \| diff to current
2020-03-20	Andrew Reynolds	Split string-specific operators from TheoryStringsRewri...	blob \| commitdiff \| raw \| diff to current
2019-06-18	Andres Noetzli	Strings: More aggressive skolem normalization (#2761)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-11-28	Andres Noetzli	Improve skolem caching by normalizing skolem args ...	blob \| commitdiff \| raw \| diff to current
2018-11-21	Andrew Reynolds	Support string replace all (#2704)	blob \| commitdiff \| raw \| diff to current
2018-10-16	Andrew Reynolds	Improve strings reductions including skolem caching...	blob \| commitdiff \| raw \| diff to current
2018-09-17	Andrew Reynolds	More aggressive skolem caching for strings, document...	blob \| commitdiff \| raw \| diff to current
2018-09-14	Andrew Reynolds	Add Skolem cache for strings, refactor length registrat...	blob \| commitdiff \| raw \| diff to current