| Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
implementation of reachable.
|
|
and FiniteState. Some clean-up and smaller performance fixes.
|
|
for speed.
|
|
of [State] as DFA labels.
|
|
improve performance of minimize with large networks.
|
|
|
|
in the FA generation.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
initialized variable.
|
|
|
|
|
|
ATK.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
actually final.
|
|
made it 1-based as in docs, instead of 0-based as before.
|