Search results

ConstraintGenerationSwitch default case

auto-migrated

Priority-Low

Type-Review

Status: Open.

#9 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015

Adapt to Checker Framework renaming

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#10 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015

Typechecking Javarifier output

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#5 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015

Missing JDK stubs for Javarifier tests

auto-migrated

Priority-Medium

Type-Defect

Status: Open.

#6 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015

Identify parameters that can be made readonly by introducing a local variable

auto-migrated

Priority-Low

Type-Enhancement

Status: Open.

#4 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015

Option to output only annotations that differ from the default

auto-migrated

Priority-Medium

Type-Enhancement

Status: Open.

#2 In typetools/javarifier;

· GoogleCodeExporter opened on Jul 3, 2015