[Checkers] Good Night Message: Update

Mahmood Ali mahmood at MIT.EDU
Tue Jul 8 02:25:39 EDT 2008


Today, I made the checker framework read annotations from the code.   
This part of the compiler is done.  I have partially worked in the  
demos too.

There are several outstanding issues:
1. getting the interning example to work  [ need to recompile  
daikon.jar and include it in the presentation ]
2. getting the 'framework' part of the nullness demo to work.

I will work on these issues first thing in the morning.  I am about to  


More information about the checkers mailing list