Search results

Feature request: Incremental errors porting large new projects to Joe-E

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#18 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Taming many useful classes in java.util.*

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#19 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Soundness issue: calling static methods within static code blocks

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#17 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Interactive verification

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#13 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Annotation to treat instance method as part of constructor

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#14 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Determinism issue: assertion enablement

auto-migrated

Priority-Low

Type-Other

Status: Open.

#9 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Soundness issue: static initializer circularity

auto-migrated

Priority-Low

Type-Other

Status: Open.

#10 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Show Joe-E doc (not Javadoc) in Eclipse

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#11 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Library marker interface

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#12 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

improve code documentation

auto-migrated

Priority-Low

Type-Task

Status: Open.

#3 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Improve debugging/diagnostic output (use log file, configurable verbosity?)

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#4 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015

Implicit Powerless, Equatable for enums

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#5 In davidwagner/joe-e;

· GoogleCodeExporter opened on Jun 10, 2015