2 ms·

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 t

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.