AlloyTools/org.alloytools.alloy Issues
Adding dependencies to Alloy
Closed 2JSON output NPE
Closed 1Buggy "export to predicate"
Closed 2Add colorblind-friendly palette
Closed 2Grammar railroad diagram
UpdatedMissing extended visualizer?
Closed 2Pasting code results in crash
Closed 4DOT graph generation via CLI wrapper
Updated 1Remove `disjoint` keyword
Closed 2