Release 1.8.10 of the Checker Framework and Type Annotations compiler

[David McArthur]

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 to the Checker Framework

 

Fixed issues: 37, 127, 350, 364, 365, 387, 392, 395

 

 

Changes to the Type Annotations Compiler

 

Base build

  Updated to OpenJDK jdk8u-dev/langtools as of 26 Jan 2015.