Sat, 31 May 2008 12:31:21 +0200 | Bug fixes and improvements in LGF IO | file | diff | annotate |
Sat, 17 May 2008 06:30:02 +0100 | More flexible header names in .lgf + largely improved doc | file | diff | annotate |
Thu, 24 Apr 2008 11:56:44 +0200 | Revert 356930927a71 and add TEMPLATE_GRAPH_TYPEDEFS instead (ticket #89) | file | diff | annotate |
Tue, 22 Apr 2008 15:07:04 +0200 | New implementation of GRAPH_TYPEDEFS | file | diff | annotate |
Tue, 22 Apr 2008 15:04:00 +0200 | Renamings in the graph_utils.h + graph_utils_test added | file | diff | annotate |
Thu, 17 Apr 2008 15:18:45 +0100 | Redesigned lgf related tools | file | diff | annotate |