HiroakiMikami/atom-alloy

Issues

• Installing “atom-alloy@0.3.0” failed

  #18 opened 7 years ago by HiroakiMikami
  0

• Could not create class edu.mit.csail.sdg.alloy4compiler.parser.CompUtil

  #17 opened 8 years ago by ph3b
  1

• Refactor Alloy class

  #14 opened 9 years ago by HiroakiMikami
  0

• Prepare release 0.2

  #15 opened 9 years ago by HiroakiMikami
  0

• Enable to visualize multiple results in Visualizer

  #16 opened 9 years ago by HiroakiMikami
  0

• Enable to cancel "compile", "execute", or "execute-all" commands

  #10 opened 9 years ago by HiroakiMikami
  0

• Use A4Reporter during compiling and executing

  #5 opened 9 years ago by HiroakiMikami
  1

• Sometimes open multiple visaulizers

  #13 opened 9 years ago by HiroakiMikami
  0

• Prepare a release 0.1

  #12 opened 9 years ago by HiroakiMikami
  0

• The package activation is too slow

  #9 opened 9 years ago by HiroakiMikami
  1

• Integrate Alloy visualizer into Atom.io

  #11 opened 9 years ago by HiroakiMikami
  0

• Visaulize a result of Alloy analyzer

  #8 opened 9 years ago by HiroakiMikami
  0

• Enable to select and execute commands

  #3 opened 9 years ago by HiroakiMikami
  0

• Enable to execute alloy commands

  #6 opened 9 years ago by HiroakiMikami
  1

• JVM is not terminated when Atom.io is closed

  #7 opened 9 years ago by HiroakiMikami
  0

• Enable to compile alloy source codes

  #2 opened 9 years ago by HiroakiMikami
  0

• Add snippets for alloy

  #4 opened 9 years ago by HiroakiMikami
  0

• Add syntax highlight for alloy files(*.als)

  #1 opened 9 years ago by HiroakiMikami
  0