| 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.
|
|
using top-level layout sytax. Changed transfer syntax to use this to force semicolon after imports when pretty printing transfer. transfer grammar printer now produces Transfer syntax, not core. It also imports prelude and includes Eq and Compos instances.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
constructor types.
|
|
missing Tree here and there.
|
|
|
|
|
|
|
|
|
