Releases: alloy-js/sterling
Sterling 1.1
Sterling 1.0
Sterling 1.0 showcases a brand new user interface built using React and Blueprint. Aside from the overhauled interface, the most notable update 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).
- Full support for evaluator
- Graph view updates:
- Freely draggable nodes
- Display relations as attributes
- Node styling with inheritance
- Edge styling with inheritance
- Rendering uses HTML Canvas instead of SVG
- Four layout methods to choose from
- Table view updates:
- Display tables by type (signature, field, or skolem)
- Display custom set of tables
- Display skolemized variables as highlighted table rows
Sterling 0.3.2
Fixes Chrome/Safari flexbox layout issue.
Sterling 0.3.2-alpha
Proof-of-concept of web-based evaluator. This alpha release adds an Evaluator view which includes a simple graph visualization of the most recently evaluated expression (assuming the result is a set of tuples).
Sterling 0.3.2-beta
Updates to the evaluator view:
- Styling options
- Toggle which expressions are in the evaluator graph
- Double Click or Ctrl+Click to lock a node in place
- Ctrl + Enter when evaluating expression to automatically add it to graph
Sterling 0.3.1
Adds a few checks for Desktop API support as well as a few textual fallbacks if it is not.
Sterling 0.3.0
- View Alloy instances in browser
- Graph view displays snapshot
- Projections
- Animations to show updates to layout
- Pan/zoom
- Table view displays tables
- Compact view
- Show/hide builtins
- Show/hide empty tables
- Tree view displays hierarchical tree
- Expand/collapse tree nodes
- Shift+scroll to update spacing between levels
- Animations to show updates to layout
- Source view display source models
- Next button requests next solution from Alloy
Sterling 0.2.0
This release adds the ability to request the next solution from the browser, along with other minor additions.
Sterling 0.1.0
This is the first preview release of Sterling that ships with a simple web page that can be used to visualize an instance as a set of tables.