Visualization for Alloy — what do you want?

These are all good comments, thanks.

We agree traces are critical. In the short term we’ve decided to NOT focus on traces (“focus” meaning, they will “work”, but not necessarily “natively”) because we are already thinking hard about issues like

  • multiple states side-by-side (even for trace-less systems)

  • helping people see differences

The two are related. t’s actually a more complicated problem than most people give it credit for, because ultimately it comes down to cognitive/perceptual factors; a few hacks and arguing about colors is not at all guaranteed to achieve the intended effect.

Stability of nodes is something Tristan has already been thinking about and working on. This also relates to things like node-naming (what does stability “mean” otherwise).

Starting last fall Tristan made efforts for Sterling to be used stand-alone, which is how we’re able to call it from my favorite language, which also does not begin with J. None of my favorites do, in fact. <-;