Release Notes

Meta

• 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.

Bug fixes

• Multiple bug fixes.