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
694
stars
123
forks
source link
`Show` should open the code window in the "output" solvers of the forthcoming release #273
The forthcoming release contains 3 "solvers" to output code: CNF, Kodkod and electrod.elo (please add the string "output" in this entry too), which is great. However, clicking the Show button doesn't open the code view but a foprmerly computed instance. Please change this so that a click on Show opens the code view (like clicking on the "File written to...." hyperlink in the right pane).
The forthcoming release contains 3 "solvers" to output code: CNF, Kodkod and electrod.elo (please add the string "output" in this entry too), which is great. However, clicking the Show button doesn't open the code view but a foprmerly computed instance. Please change this so that a click on Show opens the code view (like clicking on the "File written to...." hyperlink in the right pane).