SoftwareEngineeringToolDemos / ICSE-2010-Checker-Framework

Pluggable type-checking for Java

http://checkerframework.org/

SoftwareEngineeringToolDemos/ICSE-2010-Checker-Framework Issues

The tool is not immediately visible as soon as the VM is started
Closed 9 years ago1
Presence of an example project on the Desktop
Closed 9 years ago1
The Readme does not link to binary in this repository.
Closed 9 years ago
Ensuring consistency with other Readme's in the organization
Closed 9 years ago
The original download link is not explicitly specified under the heading: "links to the original project:"
Closed 9 years ago
The README.md does not thank any original authors who have provided help.
Closed 9 years ago1