[Checkers] Release 0.7.2 of JSR 308 javac, Checker Framework, and checkers

[Mahmood Ali]

We have released version 0.7.1 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 new DefaultQualifier(s) annotations, IGJ support  
for Flow, many documentation improvements, a new manual section about  
javac implementation, and some bug fixes.  The changelogs appears below.

   - Mahmood

------------------ Changelog for JSR 308 implementation  
-------------------
Version 0.7.2, 26 June 2008

Intallation
   Improved installation instruction for Mac.

Base build
   Updated to OpenJDK langtools build b29

--------------------- Changelog for Checker Framework  
---------------------
Version 0.7.2, 26 June 2008

IGJ Checker
   Added flow support to IGJ

Framework
   Renamed Default annotation to DefaultQualifier
   Added DefaultQualifiers
   Fixed bugs related to Flow
   Fixed an error in the build script in Windows

Manual
   Added a new section
     9.2 javac implementation survival guide
   Added hyperlinks to javadocs of the referenced classes

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080626/7360a740/attachment.htm