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.