[Checkers] ClassReader

Mahmood Ali mahmood at MIT.EDU
Thu Jun 5 23:38:21 EDT 2008

Hi Telmo,

I am leaning towards 'yes'.  Since no-one has witnessed the problem  
you are describing, I think it's safe to hold on the fix till the  
following release (hopefully next week).  Hopefully, we will have all  
code review comments addressed by then too.

- Mahmood

On Jun 5, 2008, at 9:37 PM, Telmo wrote:

> I am still not sure on how to fix the bugs that the changes to  
> AnnotatedTypeFactory and TypeFromTree introduced. Should I revert  
> them (and JavariAnnotatedFactory) before the release?
> -Telmo
> On Thu, 5 Jun 2008, Mahmood Ali wrote:
>> Hi Matt,
>> Do you think that you will have a chance to check-in your ClassReader
>> code today.  I will work on making the release once you check-in your
>> code.
>> - Mahmood
>> _______________________________________________
>> checkers mailing list
>> checkers at lists.csail.mit.edu
>> https://lists.csail.mit.edu/mailman/listinfo/checkers

More information about the checkers mailing list