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.
This is an installer for windows
It contains an Inno script to generate the installer for Alloy
The current version of the build installer can be found under
build/windows/Output/alloy-setup-5.1.0.exe
The installer also provides an option to install a compatible version of Java:
I've included all these binaries, but ideally, this build would be part of a build pipeline that automatically builds or downloads the latest version of all dependencies.
For more info on how to create a new version of the installer see the build readme
related issue: https://github.com/AlloyTools/org.alloytools.alloy/issues/3
This is an installer for windows It contains an Inno script to generate the installer for Alloy The current version of the build installer can be found under
The installer also provides an option to install a compatible version of Java:
It also installs these dlls:
Which i copied from
I've included all these binaries, but ideally, this build would be part of a build pipeline that automatically builds or downloads the latest version of all dependencies.
For more info on how to create a new version of the installer see the build readme