Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Private sigs do not appear in the graph perspective of the visualizer. However, private subsigs included in a public subsig still appear as a set label. What's worse, as private they still don't appear in the theme customization pane, so they cannot be hidden in any way.
Private sigs do not appear in the graph perspective of the visualizer. However, private subsigs included in a public subsig still appear as a set label. What's worse, as private they still don't appear in the theme customization pane, so they cannot be hidden in any way.