projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix corner case of wrongly applied selector as trigger (#5786)
[cvc5.git] / src / theory / strings / regexp_elim.cpp
2020-12-03 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw
2020-11-30 Andrew Reynolds(proof-new) Proofs for regular expression elimination... blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-06-20 Andrew Reynolds(proof-new) Make static methods in re-elim (#4623) blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-04-03 Andrew ReynoldsSplit sequences rewriter (#4194) blob | commitdiff | raw | diff to current
2020-03-20 Andrew ReynoldsGeneralize mkConcat for types (#4123) blob | commitdiff | raw | diff to current
2020-03-20 Andrew ReynoldsSplit string-specific operators from TheoryStringsRewri... blob | commitdiff | raw | diff to current
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) blob | commitdiff | raw | diff to current
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547) blob | commitdiff | raw | diff to current
2019-07-24 Andrew Reynolds Move string util functions (#3115) blob | commitdiff | raw | diff to current
2019-05-01 Andrew Reynolds Use total versions of div/mod in re-elim-agg (#2986) blob | commitdiff | raw | diff to current
2019-04-30 Andres NoetzliFix concat-find regexp elimination (#2983) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-11-28 Andrew ReynoldsOptimize re-elim for re.allchar components (#2725) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) blob | commitdiff | raw | diff to current
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) blob | commitdiff | raw | diff to current
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) blob | commitdiff | raw | diff to current
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) blob | commitdiff | raw | diff to current