On the 0x1F9 day of Apache Harmony Naveen Neelakantam wrote: > On Oct 4, 2006, at 12:53 AM, Egor Pasko wrote: > > >>> One more to say on the patch: > >>> + // meetBest(Reduced, x) <= Reduced > >>> > >>> should be: > >>> + // meetBest(Reduced, x) >= Reduced > >>> (just a comment, but still...) > >>> > >>> so, could you, please, refresh the patch with my suggestions > >>> implemented? > >> > >> Will do, once we come to agreement above. > > > > we have it now > > Ok, I updated the patch. However I also added a few more changes. :-)
Thank you, Naveen, I looked through the patch and completely agree to it. I'll update you with my changes soon. > Basically, I redefined the ProveResult enum so that the lattice True > > Reduced > False is also true using integer arithmetic. What do you > think? I like it! -- Egor Pasko, Intel Managed Runtime Division --------------------------------------------------------------------- Terms of use : http://incubator.apache.org/harmony/mailing.html To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
