Skip to content

Spoofax 2.5.16 (04-06-2021)

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

Changes

SDF3

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

Statix

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

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.16/org.metaborg.spoofax.eclipse.updatesite-2.5.16-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.16
  • 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

StrategoXT

Maven artifacts

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

Last update: October 1, 2024
Created: October 1, 2024