Sterling 1.0 Release

The Sterling 1.0 release is now available. This version showcases a brand new user interface built using React and Blueprint. It is very close in functionality to the existing Alloy visualizer with a few major exceptions, which you can read about in the tour.

Aside from the overhauled interface, the most notable change from the previous version of Sterling is the lack of a tree view; its removal was an intentional decision, as it did not provide any functionality that isn't already present in the Alloy visualizer. Furthermore, the "snapshot" layout previously used in the graph view is no longer available. The graph rendering library has been entirely replaced and it does not yet support compound nodes (but will in an upcoming release).

Head to the downloads page to down Sterling 1.0.