=============
Spoofax vNext
=============

These are the release notes for Spoofax vNext.

See the corresponding :ref:`migration guide <vnext-migration-guide>` for migrating from Spoofax vPrev to Spoofax vNext.

Changes
-------

* Fixed origin tracking in Statix injection explication for new projects
  that caused the top-level term of an AST to be missing
  when a Stratego strategy is applied to an analyzed AST in an SPT test.

=============
Spoofax vNext
=============

These are the release notes for Spoofax vNext.

See the corresponding :ref:`migration guide <vnext-migration-guide>` for migrating from Spoofax vPrev to Spoofax vNext.

Changes
-------

Statix
~~~~~~

* Fixed origin tracking in Statix injection explication for new projects
  that caused the top-level term of an AST to be missing
  when a Stratego strategy is applied to an analyzed AST in an SPT test.
* Add a menu action to view the scope graph resulting from Statix analysis.

Add note on new Statix menu action.
Add note on new Statix menu action.
