AlloyTools / org.alloytools.alloy

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.

Remove deprecated "show evaluator" menu option

nmacedo opened this issue 6 months ago · comments

Nuno Macedo commented 6 months ago

There's a "Show Evaluator" option under menu "Execute" that just prints

Note: the evaluator is now in the visualizer. Just click the "Evaluator" toolbar button when an instance is shown in the visualizer.

That has been the case at least since Alloy 4 in 2009, so I suggest to remove it.

Brock Wilcox commented 6 months ago

✔️

David Chemouil commented 6 months ago

👍

Peter Kriens commented 6 months ago

fixed