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 VMorg.alloytools.alloy.dist.jar– A Java binary that should run on all platforms