Spoofax 1.0

We're pleased to announce the release of Spoofax 1.0. A number of significant new features have been added since the last stable release, a long list of bugs has been fixed, and various minor improvements were introduced.

Highlights of the release include:

• Support for writing tests for language definitions
• Support for defining refactorings
• Major improvements to content completion: Spoofax/289, Spoofax/357
• Support for using rewrite rules to disambiguate syntax: Spoofax/328

The new version is now available from the update site at http://spoofax.org/update/stable.

In addition to these features, we're actively working on improving Spoofax with new features. In particular, we are now working on providing full support for debugging, on an interactive shell for Stratego and custom languages, and a new meta-language called SpoofaxLang to define languages in a more modular fashion.

A full list of feature requests and issues addressed in the new version is provided at http://yellowgrass.org/tag/Spoofax/1.0.

Introducing the Spoofax Language Workbench

We're pleased to announce the 0.5 release of the Spoofax language workbench, an Eclipse plugin that seamlessly integrates Java versions of Stratego and SDF into Eclipse. Spoofax can be used to develop new languages and transformations based on SDF and Stratego in the Eclipse environment. Read on below and be sure to follow our tour with screenshots for more information.

Stratego and SDF for Java

Stratego and SDF have traditonally been implemented using C, but to increase portability we have developed Java versions of the Stratego compiler and the JSGLR parser for SDF. These new implementations are seamlessly integrated into the Spoofax environment, but can also be used as stand-alone tools.

Building programming languages with IDE support

IDE support has become essential for developers to be productive with programming languages. Spoofax provides IDE support for Stratego and SDF for developers of languages and transformations. It also aids in the development of IDE support for new languages: from the first version of an SDF grammar, an editor can be created for the language and used side-by-side with the definition in Eclipse. Using Stratego, the editor can be enhanced with transformations and semantic editor services such as reference resolving and content completion.

The screenshot below illustrates some of the IDE features supported by editors created with Spoofax (click to enlarge):

More information

Spoofax can be downloaded from spoofax.org or strategoxt.org/Spoofax. When installed in Eclipse, the plugin provides a "New project" wizard that creates a new skeleton project illustrating some of the Spoofax features. The website also includes a tour further showcasing the features of the workbench. For migrating C-based Stratego projects to Spoofax, please read our FAQ or contact us in case of other questions.

An overview of the architecture of Spoofax and how Spoofax can be used in the development of new languages and IDE services is given in the paper The Spoofax Language Workbench. Rules for Declarative Specification of Languages and IDEs by Lennart Kats and Eelco Visser, accepted for publication at SPLASH/OOPSLA 2010. Further documentation can be found on the Spoofax website.

./prog: rewriting failed, trace:
        main_0_0
        io_wrap_1_0
        option_wrap_5_0
        lifted144
        input_1_0
        lifted145
        output_1_0
        lifted0
        my_wrap_1_0
        foo_0_0
        bar_0_0
        zap_0_0

    rules( Foo := <compute> )

    x := <compute>
    ; rules( Foo : _ -> x )

2005-08-31 Stratego/XT 0.16M1 has been released. This releases features a redesign of the Stratego compiler, e.g. a new compilation scheme which should give a huge performance boost on Mac OS X machines.

2005-07-05 Stratego/XT 0.15 is now available. It is an experimental release featuring a major refactoring of the internal representation of Stratego and the Stratego compiler.

2005-05-24 Java-front 0.7 is now available. A few minor bugs in the syntax definition have been fixed and hexadecimal floating-point literals are now supported.

2005-05-20 Stratego Shell 0.5 is now available. This release fixes various bugs and supports Stratego/XT 0.14.

2005-01-14
Stratego Shell 0.4, the first offical release, is now available! The Stratego Shell implements a Stratego interpreter and an interactive shell for Stratego programming. The interpreter and shell are very useful for learning Stratego and for implementing small tests.

2005-01-14
Java-front 0.6 has been released. This release improves the embedding of Java in Stratego.

2005-01-13
Stratego/XT 0.13 has been released. This releases features the implementation of dependent dynamic rewrite rules and various bug-fixes and new features of the Stratego compiler and the transformation tools of Stratego/XT. See the release page for more details.

2004-11-24

Builds of Stratego/XT and extension packages is now done continuously using a Nix build farm. Source and binary distributions are available only hours after committing a change.

2004-10-04

Java-front 0.5 has been released. Java-front adds support for Java program transformation to StrategoXT. It provides a handcrafted SDF syntax definition and pretty-printer for Java (J2SE 5.0).

2004-10-04

StrategoXT 0.12 has been released. This releases improves the usability of several tools and extends the support for XML exchange. Also, the error reporting of format-check has improved drastically.