[Checkers] [Pre-Sending] Release 0.7.3 of JSR 308 javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 0.7.3 of the JSR 308 implementation and of  
the Checker Framework.  You can always download the latest version of  
these tools at: http://groups.csail.mit.edu/pag/jsr308/ .

The JSR 308 implementation is a backward-compatible extension to  
javac. The Checker Framework makes it easy to write a tool that finds  
or prevents errors; the tool is expressed as a type-checker for a  
pluggable type system.  The Checker Framework distribution includes  
sample checkers.

This release includes support for type annotations in classfiles (i.e.  
storing type annotations in and parsing them from classfiles), and  
some bug fixes.  The changelogs appears below.

Also, this release includes two Eclipse plug-ins: one for running the  
distributed checkers on Java Projects, and one for generating class  
skeleton files.  The plug-ins and their installation instructions are  
available at: http://groups.csail.mit.edu/pag/jsr308/eclipse/ .

   - Mahmood

P.S. Happy July 4th.

------------------ Changelog for JSR 308 implementation  
-------------------
Version 0.7.3, 4 July 2008

New features
   Added support for type annotations in classfiles

Base build
   Updated to OpenJDK langtools build b30

--------------------- Changelog for Checker Framework  
---------------------
Version 0.7.3,  4 July 2008

Javari Checker
   Converted JDK files into stubs

Nullness Checker
   Fixed java.lang.Number declaration in the annotated jdk

Framework
   Fixed a bug causing crashes related to primitive type boxing
   Renamed DAGQualifierHierarchy to GraphQualifierHierarchy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080704/8265ae78/attachment.htm