| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-09-22 | Added placeholder for minimizing SLF-style automata. | bringert |
| 2005-09-22 | Generated finite state networks are now state minimal. | bringert |
| 2005-09-15 | Fixed some bugs in the Graphviz printer. | bringert |
| 2005-09-14 | Started wotking on NFA to DFA. | bringert |
| 2005-09-14 | Parametrized the type of FAs over the state type. | bringert |
| 2005-09-14 | Parametrized the Graph type over the node type. | bringert |
| 2005-09-14 | Added Graphviz module for graphviz stuff. Move a lot of utility functions to ... | bringert |
| 2005-09-12 | Cleaned up some stuff while trying to find a bug. Turned out I just had not s... | bringert |
| 2005-09-12 | Some preparations for graph minimization. | bringert |
| 2005-09-12 | Used home-grown graph implementation in FiniteState, to remove dependency on ... | bringert |
| 2005-09-12 | Completed unoptimized SLF generation. | bringert |
| 2005-09-08 | Defined compileAutomaton in terms of make_fa | bringert |
| 2005-09-07 | Added the prerequisits for automaton building. | bringert |
