Spoofax 2.5.16

Spoofax 2.5.16 contains a couple of small improvements and bug fixes.



  • This release fixes the bug with the automatic generation of namespaced grammars, which was introduced in the previous release.


  • Added stc-get-ast-ref rule to the Stratego API, which can be used to query ref properties.
  • The Stratego primitives now issue console warnings when invalid labels or properties are used.
  • Fixed a bug where stx-get-scopegraph-data would return unification variables instead of their values.
  • Changed the default data order to true, to make queries where only a label order is provided apply shadowing as expected.
  • Added a menu option to execute tests with the concurrent solver
  • Fixed a completeness bug in the traditional solver when executing queries in dataWf or dataLeq predicates.


Eclipse plugin

Update site

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

IntelliJ plugin

  • IntelliJ update site: http://artifacts.metaborg.org/content/repositories/releases/org/metaborg/org.metaborg.intellij.dist/2.5.16/org.metaborg.intellij.dist-2.5.16.zip
  • 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.16

Maven artifacts

Maven artifacts can be found on our artifact server. The Maven version used for this release is 2.5.16. See the instructions on using MetaBorg Maven artifacts for more information.