diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-15 01:55:50 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-12-15 02:00:03 -0800 |
| commit | 9f4d6f8d0c5df6dce27461f5cf07126ded7068e6 (patch) | |
| tree | 4e3ea8ca10315cfb2dc13b5e17a4bf164b2438fe /src/util/regexp.cpp | |
| parent | 76dc42ce7e4a156b4381994b5562a41e5d6b9985 (diff) | |
Strings: More aggressive skolem normalization
This PR makes the skolem normalization in the string solver quite a bit
more aggressive by reducing more skolems to prefix and suffix skolems.
Experiments show that this PR significantly improves performance on CMU
benchmarks.
Diffstat (limited to 'src/util/regexp.cpp')
0 files changed, 0 insertions, 0 deletions