Skip to content

Releases: alloy-js/sterling

Sterling 1.1

16 Jun 20:53
78cb150
Compare
Choose a tag to compare

An incremental update that introduces the script view.

Sterling 1.0

16 Mar 17:34
Compare
Choose a tag to compare

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

31 Jan 16:48
Compare
Choose a tag to compare
Sterling 0.3.2 Pre-release
Pre-release

Fixes Chrome/Safari flexbox layout issue.

Sterling 0.3.2-alpha

23 Jan 23:43
Compare
Choose a tag to compare
Sterling 0.3.2-alpha Pre-release
Pre-release

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

28 Jan 20:33
Compare
Choose a tag to compare
Sterling 0.3.2-beta Pre-release
Pre-release

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

07 Oct 15:36
Compare
Choose a tag to compare
Sterling 0.3.1 Pre-release
Pre-release

Adds a few checks for Desktop API support as well as a few textual fallbacks if it is not.

Sterling 0.3.0

03 Oct 21:23
Compare
Choose a tag to compare
Sterling 0.3.0 Pre-release
Pre-release
  • 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

29 Aug 19:45
Compare
Choose a tag to compare
Sterling 0.2.0 Pre-release
Pre-release

This release adds the ability to request the next solution from the browser, along with other minor additions.

Sterling 0.1.0

27 Aug 20:32
Compare
Choose a tag to compare
Sterling 0.1.0 Pre-release
Pre-release

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.