[JSR308] 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-sensitive type refinement, 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
   Supports flow-sensitive type refinement

Framework
   Renamed Default annotation to DefaultQualifier
   Added DefaultQualifiers annotation
   Fixed bugs related to flow-sensitive type refinement
   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/pipermail/jsr308/attachments/20080626/f620129d/attachment.htm