| Age | Commit message (Collapse) | Author |
|---|
|
yet working SRGS minimization function.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
actually final.
|
|
|
|
|
|
|
|
in SRG generation. Added support for probabilities in for SRGS.
|
|
|
|
|
|
|
|
|
|
properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
GF.Data.Utilities.
|
|
|
|
set the startcat in the grammar file. Time to go home I think.
|
