Spoofax 2.5.23 (28-04-2025)¶

Spoofax 2.5.23 is a small release that adds additional options for defining concrete object syntax for Stratego 2. Stratego 2 code generation is also adapted in preparation for experiments to improve performance.

Changes¶

Stratego 2 now accepts constructors that start with StrategoToMetaExpr/StrategoToTerm/StrategoMetaVar in concrete object syntax.
Stratego 2 now generates static callStatic methods in Strategy class objects, and calls those in the invoke method. In the future, we will test an optimisation where static strategy calls in Stratego code are translated to static method calls on the JVM.

Downloads¶

Eclipse plugin¶

Premade Eclipse installations¶

With embedded JRE:

Without embedded JRE:

Update site¶

Eclipse update site: https://artifacts.metaborg.org/content/unzip/releases-unzipped/org/metaborg/org.metaborg.spoofax.eclipse.updatesite/2.5.23/org.metaborg.spoofax.eclipse.updatesite-2.5.23-assembly.zip-unzip/
Eclipse update site archive

IntelliJ plugin¶

IntelliJ update site: https://artifacts.metaborg.org/service/local/artifact/maven/redirect?r=releases&g=org.metaborg&a=org.metaborg.intellij.dist&p=zip&v=2.5.23
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.23

StrategoXT¶

Maven artifacts¶

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

Last update: June 3, 2025
Created: June 3, 2025