diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-06 06:48:45 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-06 06:48:45 -0500 |
| commit | 77e98815254c68301ffcd7fb8addeb6751c51187 (patch) | |
| tree | 068ad98b6b43692276972a1ee5111ced3178338c /.clang-format | |
| parent | d8d3c55afc94482fc05f68ba6be47f767ab3b5c6 (diff) | |
(proof-new) Refactor regular expression operation (#4596)
This refactors the regular expression operation class so that some of its key methods are static, so that they can used by both the regular expression solver and the strings proof checker.
Notice that many cases of regular expression unfolding are deleted by this PR, since they are unnecessary. This is due to the fact that all regular expression memberships are rewritten except those whose RHS are re.++ or re.*.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions