1
0
forked from GitHub/gf-core
Commit Graph

723 Commits

Author SHA1 Message Date
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
95b04d53bb make resource 2005-10-13 12:43:47 +00:00
aarne
5729a03678 gt -atoms 2005-10-12 11:38:29 +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
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
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
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
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
3d983c1d85 fix in tc 2005-09-13 21:05:32 +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
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
hdaniels
b3e111aa02 Lots of refactorings for gfeditor 2005-09-10 09:15:54 +00:00
bringert
c39b31c74f More work on make_fa. 2005-09-08 14:45:17 +00:00
bringert
35e67e64cf Started working on make_fa. 2005-09-08 14:40:49 +00:00
bringert
936be8eea7 Defined compileAutomaton in terms of make_fa 2005-09-08 14:39:12 +00:00
bringert
a134b2b6f8 Added the prerequisits for automaton building. 2005-09-07 13:21:30 +00:00
bringert
fb419f71ad Finished untested function for making context-free grammars regular. 2005-09-06 07:06:42 +00:00
aarne
9cb3b65b84 stat; type of imperatives in lib/resource 2005-09-04 10:45:37 +00:00
bringert
e191e0513e Some baby stpes closes to ATK SLF generation. 2005-09-02 14:47:46 +00:00
peb
eaee717f99 "Committed_by_peb" 2005-09-01 08:53:18 +00:00
bringert
62804db4fb Removed -package util (why was it ever there?), since that caused linking with libreadline on Unix, even with --without-readline. 2005-08-31 13:02:32 +00:00
peb
ba08f13dee "Committed_by_peb" 2005-08-18 12:18:10 +00:00
aarne
72410f0c23 edit command ct pos1 pos2; fixed undo bug 2005-08-17 14:13:55 +00:00