7922 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
aarne	f9293c6b29	probabilistic	2005-10-30 22:44:00 +00:00
janna	815dda6b4b	*** empty log message ***	2005-10-28 08:45:28 +00:00
aarne	c9977d50bf	so	2005-10-27 12:21:53 +00:00
bringert	9dfa8a5032	Reduced complexity of reachable in FA determinization.	2005-10-27 08:16:30 +00:00
bringert	f3bd409b1b	Made removeIdenticalRules faster by using sortNubBy instead of nubBy.	2005-10-26 17:47:16 +00:00
bringert	a01248d1c9	Removed superfluous Debug.Trace import from SRG.hs.	2005-10-26 16:14:03 +00:00
bringert	3d4200d3fe	Moved Graph and Relation stuff to separate modules. Added some QuickCheck properties for Relation. Improved relation datastructure and algorithms, making FA generation much faster.	2005-10-26 16:13:13 +00:00
janna	5a9ec27143	*** empty log message ***	2005-10-16 20:16:05 +00:00
aarne	129c509516	make resource	2005-10-13 12:43:47 +00:00
aarne	7b941a4ffa	gt -atoms	2005-10-12 11:38:29 +00:00
aarne	ea1dcfd70a	Embed/TemplateApp	2005-10-07 12:06:19 +00:00
aarne	01466aa3fd	cfgm	2005-10-07 10:24:51 +00:00
aarne	bf2fdeb22e	eqStr ; pipe to system	2005-10-06 13:21:33 +00:00
aarne	c2aeb9ae16	macro commands	2005-10-06 09:02:33 +00:00
aarne	a78acc722e	grep etc	2005-10-05 19:02:19 +00:00
peb	1703bb826e	"Committed_by_peb"	2005-10-05 10:56:42 +00:00
aarne	fff9b01aa9	ENglish	2005-10-05 07:47:26 +00:00
aarne	1d83b32f61	data defs	2005-10-04 10:05:06 +00:00
aarne	1ea059cdcb	def and List	2005-10-02 19:50:19 +00:00
aarne	1db8b90811	lexer=ignore	2005-09-29 12:20:08 +00:00
aarne	34c0e79259	check deps	2005-09-27 09:25:07 +00:00
aarne	93a57fbbca	index	2005-09-22 18:01:26 +00:00
bringert	a2ff05dfd9	Added placeholder for minimizing SLF-style automata.	2005-09-22 16:08:48 +00:00
bringert	9bb01bfc38	Generated finite state networks are now state minimal.	2005-09-22 15:56:05 +00:00
aarne	eace8bcd68	history	2005-09-20 08:38:12 +00:00
aarne	6d179267de	CSEE now works fine	2005-09-20 08:32:55 +00:00
aarne	263beccd56	debugging csee	2005-09-19 15:11:06 +00:00
aarne	517d7ec419	more clee fix	2005-09-19 12:01:18 +00:00
aarne	8342cba9bd	debug csee	2005-09-19 09:05:48 +00:00
aarne	db4cf670d0	common subexp elimination	2005-09-18 21:55:46 +00:00
aarne	076452779c	tabulation optimization	2005-09-16 12:56:12 +00:00
bringert	5171e7d384	Fixed some bugs in the Graphviz printer.	2005-09-15 17:10:44 +00:00
aarne	989fb2e4d3	MAth	2005-09-15 15:22:00 +00:00
bringert	eeb833ca43	Started wotking on NFA to DFA.	2005-09-14 17:00:19 +00:00
aarne	e3395efbf1	unpar	2005-09-14 15:26:21 +00:00
bringert	b109bcaafa	Parametrized the type of FAs over the state type.	2005-09-14 15:08:35 +00:00
bringert	6381c27bff	Parametrized the Graph type over the node type.	2005-09-14 14:29:53 +00:00
bringert	a8bc5590af	Added Graphviz module for graphviz stuff. Move a lot of utility functions to GF.Data.Utilities.	2005-09-14 14:17:29 +00:00
peb	16f2bf8cd6	"Committed_by_peb"	2005-09-14 08:51:18 +00:00
aarne	95463f6dba	fix in tc	2005-09-13 21:05:32 +00:00
bringert	314a9db89f	Added FA and SRG stuff to HelpFile. Fixed typos in history file.	2005-09-13 07:33:56 +00:00
bringert	0199234b2d	Added FA approximation to history file.	2005-09-13 07:24:30 +00:00
bringert	42d3ccda90	Fixed makeTransitions/mapTransitions typo in PrSLF.	2005-09-13 07:20:20 +00:00
bringert	b90e16b221	Cleaned up some stuff while trying to find a bug. Turned out I just had not set the startcat in the grammar file. Time to go home I think.	2005-09-12 21:32:24 +00:00
bringert	8e53a8e849	Some preparations for graph minimization.	2005-09-12 20:54:32 +00:00
bringert	37ef225420	Used home-grown graph implementation in FiniteState, to remove dependency on fgl. This also lead to a dramatic performance increase.	2005-09-12 20:41:19 +00:00
bringert	01ef25792c	Added printer for regular grammars. Changed some foldrs to foldls to improve stack usage.	2005-09-12 15:10:23 +00:00
bringert	ddda900d53	Completed unoptimized SLF generation.	2005-09-12 14:46:44 +00:00
hdaniels	f882f97a22	Lots of refactorings for gfeditor	2005-09-10 09:15:54 +00:00
bringert	aa92464b1c	More work on make_fa.	2005-09-08 14:45:17 +00:00