| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-11-10 | Prepared for generation of finite automata in C. | bringert |
| 2005-11-10 | Moved FA and regular grammar printers to a separate module. | bringert |
| 2005-09-14 | Parametrized the type of FAs over the state type. | bringert |
| 2005-09-14 | Added Graphviz module for graphviz stuff. Move a lot of utility functions to ... | bringert |
| 2005-09-13 | Fixed makeTransitions/mapTransitions typo in PrSLF. | 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 | Used home-grown graph implementation in FiniteState, to remove dependency on ... | bringert |
| 2005-09-12 | Added printer for regular grammars. Changed some foldrs to foldls to improve ... | bringert |
| 2005-09-12 | Completed unoptimized SLF generation. | bringert |
| 2005-09-07 | Added the prerequisits for automaton building. | bringert |
| 2005-09-02 | Some baby stpes closes to ATK SLF generation. | bringert |
| 2005-06-17 | Added beginnings of ATK SLF generation. | bringert |
