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.
Hi,
On https://github.com/ikuraj/alloy there are 1800+ commits, here, there are 98 commits.
It would be great to have the full history of Alloy in this cool official repo.
What do you think?