Search results

Wrong results when there are spaces in directory names

auto-migrated

Priority-Low

Type-Defect

Status: Open.

#9 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

Verify error

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#8 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

SpinSpider (automata): transitions from init to proctype

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#6 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

An IO exception

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#7 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

GUI look and feel does not match platform

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#4 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

couldn't find java SE runtime environment

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#5 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

file pan not found

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#3 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

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

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#2 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016

SpinSpider does not create Visualization

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#1 In Tianhao25/jspin;

· GoogleCodeExporter opened on Apr 1, 2016