Spoofax 2.5.13 (20-11-2020)¶

Spoofax 2.5.13 contains a couple of small improvements.

Changes¶

SDF3¶

prefer and avoid are now deprecated. Usages of the operators will be marked with a deprecation warning.

Parser¶

The JSGLR2 parser variants now report warnings on ambiguously parsed substrings. This includes ambiguities in lexical and layout syntax that do not result into amb nodes in the AST.

SPT¶

The run expectation now allows to call strategies with term arguments. It\'s now also possible to test if a strategy failed. See the SPT documentation for more details.

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.13/org.metaborg.spoofax.eclipse.updatesite-2.5.13-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.13
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.13

StrategoXT¶

Maven artifacts¶

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

Last update: July 30, 2024
Created: July 30, 2024