Alloy 6.2.0

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.

Alloytools 6.0.0

This is a the first Alloy 6 release. Alloy 6 has all the features of its predecessors but adds mutable state and its corresponding traces.

• Description of the changes - A description what changed and how to take advantage
• Specification – An updated language specification

Deliverables:

• alloy.dmg – A MacOS (x86) image containing a VM
• org.alloytools.alloy.dist.jar – A Java binary that should run on all platforms

AlloyTools 5.1.0

Includes

• Glucose 4.1
• Tooltips are now text, not tables
• JAR should run on macOS with Java 9
• Release as an app stored in a dmg on MacOS

5.0.0.1

Beta 5

• JAR runs on MacOS now (threw exception)
• Reformatted all source code
• Integer atoms used by default (unless an explicit for 0 Int scope is specified)

Beta 4

• Supports markdown format (Alloy syntax inside alloy / markers as supported by Github)
• Copy/Paste evaluator for MacOS Command key (was control)
• Table output in evaluator
• Table tab in the Viz window
• Double click selection improved
• Block commenting/uncommenting
• Indent/Unindent selected text
• F3 navigation to referenced item in editor
• Tooltips to referenced items

You can find details at https://github.com/AlloyTools/org.alloytools.alloy/wiki/5.0.0-Change-List

The .pkg file is for MacOS, the .jar file is for the other platforms. You can execute it with java -jar.

Temporary releases

This is a temporary release without any version guarantees.

5.0.0-SNAPSHOT

An intermediate release.

• Fixed recursion
• Split the parser of into a core project

Intermediate MACOS release

This is released but not production ready