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

Age	Commit message (Collapse)	Author
2005-12-08	SLF generation: make sure that there is only one final node, and that it is ↵	bringert
	actually final.
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 ↵	bringert
	properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.
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
	GF.Data.Utilities.
2005-09-12	Cleaned up some stuff while trying to find a bug. Turned out I just had not ↵	bringert
	set the startcat in the grammar file. Time to go home I think.
2005-09-12	Some preparations for graph minimization.	bringert

2005-09-12	Used home-grown graph implementation in FiniteState, to remove dependency on ↵	bringert
	fgl. This also lead to a dramatic performance increase.
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