Release v4.0.19

Sterling Layout v4.0.19

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.18

Sterling Layout v4.0.18

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.13

Sterling Layout v4.0.13

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.11

Sterling Layout v4.0.11

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.10

Sterling Layout v4.0.10

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.7

Sterling Layout v4.0.7

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.6

Sterling Layout v4.0.6

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.5

Sterling Layout v4.0.5

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.4

Sterling Layout v4.0.4

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.

Release v4.0.3

Sterling Layout v4.0.3

A fork of the Sterling visualizer with support for declarative layout.

Downloads

• sterling-alloy.zip: Build for Alloy Analyzer
• sterling-forge.zip: Build for Forge

Installation

1. Download the appropriate zip file for your tool (Alloy or Forge)
2. Extract the contents to your desired location
3. Open index.html in your browser or serve via your Alloy/Forge instance

Changes

See the commit history for details.