motib/jspin

Issues

• Verify error

  #8 opened 10 years ago by GoogleCodeExporter
  8

• Wrong results when there are spaces in directory names

  #9 opened 10 years ago by GoogleCodeExporter
  2

• An IO exception

  #7 opened 10 years ago by GoogleCodeExporter
  1

• couldn't find java SE runtime environment

  #5 opened 10 years ago by GoogleCodeExporter
  4

• SpinSpider (automata): transitions from init to proctype

  #6 opened 10 years ago by GoogleCodeExporter
  1

• file pan not found

  #3 opened 10 years ago by GoogleCodeExporter
  5

• GUI look and feel does not match platform

  #4 opened 10 years ago by GoogleCodeExporter
  0

• Peterson Algorithm and "Non-progress" Verification causes "pan: non-progress cycle (at depth 12)"

  #2 opened 10 years ago by GoogleCodeExporter
  1

• SpinSpider does not create Visualization

  #1 opened 10 years ago by GoogleCodeExporter
  5