You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The meta capabilities have been adapted to the mutable parts of the language (new signatures static$ and var$ for the static and mutable elements).
Toolkit
Addition of a command-line interface (documentation with java -jar alloy.jar help).
The tool embeds an LSP server (see command-line option lsp).
Solving
The Electrod backend now handles all of Alloy (incl. integers). (Remark: new releases of NuSMV and nuXmv were made at the end of 2024, an update is strongly recommended for use with Alloy).
Editor
Addition of a Find/Replace facility.
Visualizer
Additional information in meta-model visualization (multiplicities, abstract, enum...).
The Visualizer now features a new "Tol" colorblind-friendly palette.
A warning is thrown for in-line implicit conjunctions.
The Text view highlights differences between two consecutive states.
Add split panes for text, table and tree view
Addition of a Magic Color option for nodes.
Color of relations preserved along a trace.
New theme option to automatically hide all Skolem elements.
Distribution
Availability as a JAR and as OS-specific packages.