Merge jt
Fixes some issues in formal regexp optimize. Up to the state, we may enable tests.
I have bundled in a few tidy fixes too.
Edited by Jan Trávníček
Fixes some issues in formal regexp optimize. Up to the state, we may enable tests.
I have bundled in a few tidy fixes too.