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.
Other
709
stars
124
forks
source link
Warn before saving a file modified outside Alloy #61
I occasionally lose my work because I forget to reload before making changes to a file when I switch back to Alloy from another editor.
When a file is about to be saved, Alloy can use the file modification date to check if it has been modified since last loaded and give a warning.
I occasionally lose my work because I forget to reload before making changes to a file when I switch back to Alloy from another editor. When a file is about to be saved, Alloy can use the file modification date to check if it has been modified since last loaded and give a warning.