Spoofax 2.5.16

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

Changes

SDF3

• This release fixes the 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:

• Windows 32-bits, embedded JRE
• Windows 64-bits, embedded JRE
• Linux 64-bits, embedded JRE
• macOS, embedded JRE

Without embedded JRE:

• Windows 32-bits
• Windows 64-bits
• Linux 64-bits
• macOS

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

• Sunshine JAR
• SPT testrunner JAR

Core API

• Spoofax Core uber JAR
• Spoofax Core uber Maven artifact: org.metaborg:org.metaborg.spoofax.core.uber:2.5.16

StrategoXT

• StrategoXT distribution
• StrategoXT JAR

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.