Skip to content

Alloytools 6.0.0

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 04 Nov 08:50
· 217 commits to release since this release

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.

Deliverables:

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