Release 1.8.3 of the Checker Framework and Type Annotations compiler

[Javier Thaine]

We have released a new version of the Type Annotations (JSR 308) compiler,

the Checker Framework, and the Eclipse plugin for the Checker Framework.

 

* The Type Annotations compiler supports type annotation syntax.

* The Checker Framework lets you create and/or run pluggable type checkers,

     in order to detect and prevent bugs in your code.

* The Eclipse plugin makes it more convenient to run the Checker Framework.

 

You can find documentation and download links for these projects at:

http://types.cs.washington.edu/jsr308/

 

Changes for the Checker Framework

Removed the Maven plugin section from the manual as the plugin is

no longer maintained and the final release was on June 2, 2014.

The javac_maven script (and batch file) are available to use

the Checker Framework from Maven.

 

Fixed issue 331.


Changes for the Type Annotations Compiler

 

No changes. Version increased to match Checker Framework.