issues
search
ALwolfman9
/
jspin
Automatically exported from code.google.com/p/jspin
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Wrong results when there are spaces in directory names
#9
GoogleCodeExporter
opened
8 years ago
2
Verify error
#8
GoogleCodeExporter
opened
8 years ago
8
An IO exception
#7
GoogleCodeExporter
opened
8 years ago
1
SpinSpider (automata): transitions from init to proctype
#6
GoogleCodeExporter
opened
8 years ago
1
couldn't find java SE runtime environment
#5
GoogleCodeExporter
opened
8 years ago
4
GUI look and feel does not match platform
#4
GoogleCodeExporter
opened
8 years ago
0
file pan not found
#3
GoogleCodeExporter
opened
8 years ago
5
Peterson Algorithm and "Non-progress" Verification causes "pan: non-progress cycle (at depth 12)"
#2
GoogleCodeExporter
opened
8 years ago
1
SpinSpider does not create Visualization
#1
GoogleCodeExporter
opened
8 years ago
5