Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
New
Description
just some optimizations to the TokenStreamToAutomaton/escape workflow.
I still don't understand whats going on with the escaping: this might be suboptimal.