Skip to content

Integrate automata determinisation

Alexandre Lewkowicz requested to merge al/stutter into next

Implementation based on Redziejowski construction with various optimisation added to it.

Merge request reports