harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Egor Pasko <egor.pa...@gmail.com>
Subject Re: [drlvm][jit] possible ABCD bug
Date Thu, 05 Oct 2006 07:55:25 GMT
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: harmony-dev-unsubscribe@incubator.apache.org
For additional commands, e-mail: harmony-dev-help@incubator.apache.org


Mime
View raw message