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

Mahmood Ali mahmood at MIT.EDU
Thu Jun 26 15:07:30 EDT 2008

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

   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

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

   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 

More information about the checkers mailing list