| Mon, 28 Jul 2008 12:39:58 +0100 |
Unify the spelling of LEMON (#103).
|
file | diff | annotate |
| Tue, 15 Jul 2008 13:15:39 +0200 |
Reorganize header files (Ticket #97)
|
file | diff | annotate |
| Mon, 14 Jul 2008 09:15:23 +0200 |
Fix the incorrect tab replacements of unify-sources.sh
|
file | diff | annotate |
| Sun, 13 Jul 2008 20:09:47 +0100 |
Remove long lines (from all but one file)
|
file | diff | annotate |
| Sun, 13 Jul 2008 19:51:02 +0100 |
Apply unify-sources.sh to the source tree
|
file | diff | annotate |
| Thu, 10 Jul 2008 15:02:35 +0200 |
More docs for undirected LGF IO
|
file | diff | annotate |
| Tue, 08 Jul 2008 14:57:44 +0200 |
Set inline functions in header files (ticket #115)
|
file | diff | annotate |
| Sat, 05 Jul 2008 00:14:27 +0200 |
Doc improvements in LGF related files
|
file | diff | annotate |
| Fri, 04 Jul 2008 16:12:31 +0200 |
Move to private copy constrcutors
|
file | diff | annotate |
| Fri, 04 Jul 2008 15:21:48 +0200 |
Section readers moved to distinct class
|
file | diff | annotate |
| Thu, 03 Jul 2008 12:40:04 +0200 |
New skip*() functions in (Dig|G)raphReader
|
file | diff | annotate |
| 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 |