Spoofax 2.5.20 (12-04-2024)

Spoofax 2.5.20 updates multiple dependencies, rearranges some, fixes a bug in the new project wizard, and makes small fixes and improvements to Statix.

Fixes

• The "new Spoofax project" wizard was broken since 2.5.18, where the Next and Finish buttons would be greyed out. This was a regression after moving away from directly depending on Guava, where an editor validation check accidentally checked the negation of the original check. So validation always failed. This had been fixed now.

Statix

• RuleUtil.inline did not insert equalities for ascribed values (i.e., t@Term(...) rule arguments), which made the inlined version too weak.

Added

Statix

• Multi-file projects using the traditional solver can now use scope graph libraries (i.e., scope graphs exported from other projects).
• Multi-file projects using the traditional solver can now have separate constraints for groups (i.e., packages derived from a directory structure).

Changes

Dependencies

• Introduced jsglr.shared and moved a small part of org.spoofax.jsglr there so that org.spoofax.jsglr2 can depend on only that shared code. This makes org.spoofax.jsglr2 independent of org.spoofax.jsglr, lowering the number of dependencies if you only use org.spoofax.jsglr2.
• org.apache.commons:commons-configuration2: 2.8.0 -> 2.10.1
• com.virtlink.commons:commons-configuration2-jackson: 1.0.0 -> 1.3.1

Downloads

Eclipse plugin

Premade Eclipse installations

With embedded JRE:

• macOS 64-bit with embedded JVM
• Linux 64-bit with embedded JVM
• Windows 64-bit with embedded JVM
• Windows 32-bit with embedded JVM

Without embedded JRE:

• macOS 64-bit
• Linux 64-bit
• Windows 64-bit
• Windows 32-bit

Update site

• Eclipse update site: https://artifacts.metaborg.org/content/unzip/releases-unzipped/org/metaborg/org.metaborg.spoofax.eclipse.updatesite/2.5.20/org.metaborg.spoofax.eclipse.updatesite-2.5.20-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.20
• 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.20

StrategoXT

• Stratego/XT distribution
• Stratego/XT JAR

Maven artifacts

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

---

Last update: July 30, 2024
Created: July 30, 2024