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 queryref
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:
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
StrategoXT¶
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.