| 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.
|
|
|
|
|