Skip to content

Spoofax 2.5.20 (12-04-2023)

Spoofax 2.5.20 updates multiple dependencies, rearranges some, fixes a bug in the new porject wizard, and makes small fixes and improvements to Statix.


  • The "new Spoofax project" wizard was broken since 2.5.18, where the Next and Finish buttons would be greyed out. This was a regression after moving away from directly depending on Guava, where an editor validation check accidentally checked the negation of the original check. So validation always failed. This had been fixed now.


  • RuleUtil.inline did not insert equalities for ascribed values (i.e., t@Term(...) rule arguments), which made the inlined version too weak.



  • Multi-file projects using the traditional solver can now use scope graph libraries (i.e., scope graphs exported from other projects).
  • Multi-file projects using the traditional solver can now have separate constraints for groups (i.e., packages derived from a directory structure).



  • Introduced jsglr.shared and moved a small part of org.spoofax.jsglr there so that org.spoofax.jsglr2 can depend on only that shared code. This makes org.spoofax.jsglr2 independent of org.spoofax.jsglr, lowering the number of dependencies if you only use org.spoofax.jsglr2.
  • org.apache.commons:commons-configuration2: 2.8.0 -> 2.10.1
  • com.virtlink.commons:commons-configuration2-jackson: 1.0.0 -> 1.3.1


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


Maven artifacts

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

Last update: April 19, 2024
Created: April 19, 2024