Release 1.8.1 of the Checker Framework and Type Annotations compiler

4 views

Skip to first unread message

unread,

May 2, 2014, 2:18:25 AM5/2/14

to jsr308-...@googlegroups.com, checker-fram...@googlegroups.com

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:

Changes for the Checker Framework

Support to directly use the Java 8 javac in addition to jsr308-langtools.

Added checker/examples directory to checker-framework.zip

New section in the manual describing the contents of checker-framework.zip

Fixes for Issues 204, 304, 320.

Changes for the Type Annotations Compiler

Base build updated to OpenJDK 9 dev/langtools and type-annotations/langtools

as of 25 Apr 2014.

Reply all

Reply to author

Forward

0 new messages