SDF2 Bundle 2.3

SDF: Modular Syntax Definition Formalism
Released January 10, 2005.


See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs.

Source tar.gz

Source RPM

Redhat Linux RPM

Redhat 9.0:

SuSE Linux RPM

SuSE 9.0:

Fedora Core RPM

Fedora Core 2:

Fedora Core 3:

Microsoft Windows Cygwin binaries

  • The *-cygwin.tar.gz files contain a file readme.txt with installation instructions.

Mac OS X binaries

  • The *-macosx.tar.gz files contain a file readme.txt with installation instructions.


The SDF2 Bundle is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (GNU LGPL) as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This software is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details


SDF2 Bundle 2.3 consists of:

SDF2 Bundle 2.3 requires:

  • ATerm Library 2.3.1


This is mainly a maintenance release, fixing a number of bugs. However, a number of important features have been added.

  • Fixed a bug in obtaining a parse table when restoring brackets with a grammar without start symbols.

  • Fixed implosion of alternative literals. "-" | "+" becomes alt(1,[]) or alt(2,[]) because a literal does not have a representation in an imploded tree. This fixes a core dump

  • The efficiency of the syntax checker was improved drastically. This reduces parsetable generation times.

  • A new commandline tool: filterPT. It filters parse forests based on some command line arguments. Currently, we have one filter to find trees with a maximum or minumum number of occurrences of a certain non-terminal. It is used to implement filters for island grammars.

  • A new small package: tide-support. Contains a library for developing new TIDE debugging adapters.

(News selected from Meta-Environment 1.5.2 and 1.5.3 news)