Commit Graph

960 Commits

Author SHA1 Message Date
bringert
7d2bcd88ad Removed superfluous Debug.Trace import from SRG.hs. 2005-10-26 16:14:03 +00:00
bringert
b7609f09a5 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
ae8bf54a04 *** empty log message *** 2005-10-16 20:16:05 +00:00
aarne
934d182986 Make 2005-10-14 07:30:58 +00:00
aarne
95b04d53bb make resource 2005-10-13 12:43:47 +00:00
aarne
5729a03678 gt -atoms 2005-10-12 11:38:29 +00:00
aarne
cbcac43e31 test grs 2005-10-11 15:03:44 +00:00
aarne
0d33fd98e0 Embed/TemplateApp 2005-10-07 12:06:19 +00:00
aarne
ef18c4d4bf cfgm 2005-10-07 10:24:51 +00:00
aarne
faadd04af9 eqStr ; pipe to system 2005-10-06 13:21:33 +00:00
aarne
edd17b54f2 macro commands 2005-10-06 09:02:33 +00:00
aarne
e475a71e88 grep etc 2005-10-05 19:02:19 +00:00
peb
5b828bb83d "Committed_by_peb" 2005-10-05 10:56:42 +00:00
aarne
98dcc20e12 ENglish 2005-10-05 07:47:26 +00:00
aarne
ecea6794e9 data defs 2005-10-04 10:05:06 +00:00
aarne
df4027f798 def and List 2005-10-02 19:50:19 +00:00
aarne
74e7f84e0f lexer=ignore 2005-09-29 12:20:08 +00:00
aarne
60b6ce0f07 check deps 2005-09-27 09:25:07 +00:00
aarne
6c9934d0bd index 2005-09-22 18:01:26 +00:00
bringert
e70ebfda5f Added placeholder for minimizing SLF-style automata. 2005-09-22 16:08:48 +00:00
bringert
914430a5a8 Generated finite state networks are now state minimal. 2005-09-22 15:56:05 +00:00
aarne
beef531778 subs flags 2005-09-20 15:31:09 +00:00
aarne
e1a4b26a53 history 2005-09-20 08:38:12 +00:00
aarne
b585c6c69b CSEE now works fine 2005-09-20 08:32:55 +00:00
aarne
973311a9f6 debugging csee 2005-09-19 15:11:06 +00:00
aarne
7f65334c46 more clee fix 2005-09-19 12:01:18 +00:00
aarne
19c696217b debug csee 2005-09-19 09:05:48 +00:00
aarne
5901eb3fe0 common subexp elimination 2005-09-18 21:55:46 +00:00
aarne
37f0795288 resource fixes 2005-09-17 16:01:52 +00:00
aarne
60d7223d34 tabulation optimization 2005-09-16 12:56:12 +00:00
bringert
f4fd1baf8f Fixed some bugs in the Graphviz printer. 2005-09-15 17:10:44 +00:00
aarne
7df1ff9409 MAth 2005-09-15 15:22:00 +00:00
bringert
efaafffb77 Started wotking on NFA to DFA. 2005-09-14 17:00:19 +00:00
aarne
247af471aa unpar 2005-09-14 15:26:21 +00:00
bringert
0916a479d8 Parametrized the type of FAs over the state type. 2005-09-14 15:08:35 +00:00
bringert
ffe99a1474 Parametrized the Graph type over the node type. 2005-09-14 14:29:53 +00:00
bringert
ac8ef799de 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
8921c613bb "Committed_by_peb" 2005-09-14 08:51:18 +00:00
aarne
a97d355583 more Fin slash 2005-09-14 08:22:59 +00:00
aarne
463773d929 Slash in Fin 2005-09-14 07:19:38 +00:00
aarne
3d983c1d85 fix in tc 2005-09-13 21:05:32 +00:00
aarne
ff0a5c418c finnish rel 2005-09-13 10:56:44 +00:00
bringert
daca36e917 Added FA and SRG stuff to HelpFile. Fixed typos in history file. 2005-09-13 07:33:56 +00:00
bringert
7bc3ef7784 Added FA approximation to history file. 2005-09-13 07:24:30 +00:00
bringert
cb533a4941 Fixed makeTransitions/mapTransitions typo in PrSLF. 2005-09-13 07:20:20 +00:00
bringert
775dff9e2b 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
4ed9ada62e Some preparations for graph minimization. 2005-09-12 20:54:32 +00:00
bringert
fea451f06c 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
9112e13c60 Added printer for regular grammars. Changed some foldrs to foldls to improve stack usage. 2005-09-12 15:10:23 +00:00
bringert
8c616b8113 Completed unoptimized SLF generation. 2005-09-12 14:46:44 +00:00