issues
search
HiroakiMikami
/
atom-alloy
Atom package for [alloy modeling language](http://alloy.mit.edu/alloy/index.html)
MIT License
5
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Installing “atom-alloy@0.3.0” failed
#18
HiroakiMikami
opened
6 years ago
0
Could not create class edu.mit.csail.sdg.alloy4compiler.parser.CompUtil
#17
ph3b
opened
7 years ago
1
Enable to visualize multiple results in Visualizer
#16
HiroakiMikami
opened
8 years ago
0
Prepare release 0.2
#15
HiroakiMikami
closed
8 years ago
0
Refactor Alloy class
#14
HiroakiMikami
closed
8 years ago
0
Sometimes open multiple visaulizers
#13
HiroakiMikami
closed
8 years ago
0
Prepare a release 0.1
#12
HiroakiMikami
closed
8 years ago
0
Integrate Alloy visualizer into Atom.io
#11
HiroakiMikami
opened
8 years ago
0
Enable to cancel "compile", "execute", or "execute-all" commands
#10
HiroakiMikami
closed
8 years ago
0
The package activation is too slow
#9
HiroakiMikami
closed
8 years ago
1
Visaulize a result of Alloy analyzer
#8
HiroakiMikami
closed
8 years ago
0
JVM is not terminated when Atom.io is closed
#7
HiroakiMikami
opened
8 years ago
0
Enable to execute alloy commands
#6
HiroakiMikami
closed
8 years ago
1
Use A4Reporter during compiling and executing
#5
HiroakiMikami
closed
8 years ago
1
Add snippets for alloy
#4
HiroakiMikami
opened
8 years ago
0
Enable to select and execute commands
#3
HiroakiMikami
closed
8 years ago
0
Enable to compile alloy source codes
#2
HiroakiMikami
closed
8 years ago
0
Add syntax highlight for alloy files(*.als)
#1
HiroakiMikami
closed
8 years ago
0