| Wed, 02 Jul 2008 10:37:14 +0200 |
Improvments in map name handling
|
file | diff | annotate |
| Wed, 18 Jun 2008 13:52:23 +0100 |
*Maps() -> *MapNames() in LgfContents
|
file | diff | annotate |
| Wed, 18 Jun 2008 13:07:18 +0100 |
Doc improvements in LgfContents
|
file | diff | annotate |
| Wed, 18 Jun 2008 12:59:07 +0100 |
Remove LgfContents.is*()
|
file | diff | annotate |
| Wed, 18 Jun 2008 12:39:20 +0100 |
Content -> contents
|
file | diff | annotate |
| Tue, 17 Jun 2008 12:28:49 +0100 |
Merge
|
file | diff | annotate |
| Mon, 16 Jun 2008 18:23:11 +0200 |
LGF content reader class
|
file | diff | annotate |
| Mon, 16 Jun 2008 18:19:07 +0200 |
Clarifying the usage of skipSection
|
file | diff | annotate |
| Sat, 31 May 2008 12:49:18 +0200 |
Undirected LGF IO
|
file | diff | annotate |
| Sat, 31 May 2008 12:31:21 +0200 |
Bug fixes and improvements in LGF IO
|
file | diff | annotate |
| Tue, 27 May 2008 16:01:20 +0200 |
Section reader for DigraphReader
|
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 |