Skip to content

Spoofax 2.5.2 (12-03-2019)

Spoofax 2.5.2 is a minor bugfix and performance improvement release.



A bug introduced in 2.5.2 would remove the parse error in the editor as soon as analysis failed. This bug has been fixed.


A whole host of bugs has been fixed in FlowSpec, mostly ones that lead to no clear error message. Much of the system has also been optimized for speed.


Separate compilation for Stratego was added in this release. It is currently still experimental. It is documented as a separate item under the Stratego documentation, including instructions on how to opt-in to it and what its limitations are.

The Stratego primitives all, some and one sometimes lost annotations and origins of list tails when an element in the list was transformed. This bug has been fixed.

The Stratego editor used to give spurious errors on missing variable definitions if those were list variables that were bound in a concrete syntax pattern. This long-standing bug has been fixed in this release.


Eclipse plugin

Premade Eclipse installations

With embedded JRE:

Without embedded JRE:

Update site

  • Eclipse update site:
  • Eclipse update site archive

IntelliJ plugin

  • IntelliJ update site:
  • IntelliJ update site archive

Command-line utilities

Core API

  • Spoofax Core Uber JAR
  • Spoofax Core uber Maven artifact: org.metaborg:org.metaborg.spoofax.core.uber:2.5.2


Maven artifacts

Maven artifacts can be found on our artifact server. The Maven version used for this release is 2.5.2.

Last update: July 3, 2024
Created: July 3, 2024