gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2005-12-22	Some performance improvements in the FA generation.	bringert
2005-12-08	SLF generation: make sure that there is only one final node, and that it is a...	bringert
2005-11-10	Prepared for generation of finite automata in C.	bringert
2005-10-27	Reduced complexity of reachable in FA determinization.	bringert
2005-10-26	Moved Graph and Relation stuff to separate modules. Added some QuickCheck pro...	bringert
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