[Checkers] Good Night Message: Update
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
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