Skip to content

Spoofax 2.5.13 (20-11-2020)

Spoofax 2.5.13 contains a couple of small improvements.



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


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.


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.


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.13


Maven artifacts

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

Last update: May 24, 2024
Created: May 24, 2024