3 ms·

Last I checked Alloy was another wonderful specification language with bad or non-existent tooling.

• picardo 4y ago
  Agreed. Alloy IDE is pretty bad. I tried using external tools like [Sterling](https://sterling-js.github.io/ https://sterling-js.github.io/), but they still rely on the IDE for some things.
• rsrsrs86 4y ago
  Curious, what do you think Alloy lacks in Tooling? I love the Alloy Analyzer. It's simple to use, you can visualize instances, it can point to UNSAT cores in the Code. (I wish it had a easy-to-use command-line or API so it would be easier to build a Web-based version of it.)
  • hwayne 4y ago
    Line numbers. Space-based indentation. Right-clicking. Find-replace. (Some of these might just be problems on Windows)
    • rsrsrs86 4y ago
      Sure, it would be better if we had the tooling built on top of electron or vs code. I tend to edit files in VS and reload in Alloy.