Spoofax 2.5.5

Spoofax 2.5.5 is a minor bugfix release. There are a few incompatiable changes in Statix, which are described in the migration guide.



  • Do not throw away error messages in unchanged files if other files changed, when using constraint analyzer.


  • Add missing location information on sublists.


  • Improve speed of normalization.
  • Add AST properties and editor reference resolution.
  • Regular expression and label order are direct parameters to queries. It is not possible anymore to pass an arbitary predicate there.
  • Special path constraints are removed in favour of concrete path terms that can be matched as terms.
  • Functional constraints can only have a single output.
  • Namespace based resolution short-hands must contain a occurrence literal, and explicit resolution policies.


Eclipse plugin

Update site

  • Eclipse update site: http://artifacts.metaborg.org/content/unzip/releases-unzipped/org/metaborg/org.metaborg.spoofax.eclipse.updatesite/2.5.5/org.metaborg.spoofax.eclipse.updatesite-2.5.5-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.5/org.metaborg.intellij.dist-2.5.5.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.5

Maven artifacts

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