This is now in, and tested against 2.6 and 2.7. Please file bugs if you see any problems.
Thanks David! - Daniel On Wed, Mar 24, 2010 at 10:28 AM, David A. Ramos <daramos at stanford.edu> wrote: > Hi Cristi, > > I haven't noticed any problems since applying the patch. We haven't been > using the fp80 support much, though. I have no idea if it's compatible with > the 2.7 changes. > > -David > > On Mar 24, 2010, at 10:13 AM, Cristian Zamfir wrote: > >> Hi, >> >> Do you have more info on the status of this patch? >> David, in your experience, is the patch stable? If yes, I would like >> to try it out, please let me know. >> >> Thanks, >> Cristi >> >> On Fri, Mar 12, 2010 at 9:05 AM, Daniel Dunbar <daniel at zuster.org> wrote: >>> On Thu, Mar 11, 2010 at 4:38 PM, David A. Ramos <davidramos at >>> stanford.edu> wrote: >>>> Hi Cristi, >>>> >>>> I submitted a patch for this to klee-commits... Waiting for Daniel to >>>> commit it. >>> >>> My tentative plan is to get this in this weekend, as well as the 2.7 >>> patches. >>> >>> ?- Daniel >>> >>>> -David >>>> ------Original Message------ >>>> From: Cristian Zamfir >>>> Sender: klee-dev-bounces at keeda.stanford.edu >>>> To: klee-dev at keeda.stanford.edu >>>> Subject: [klee-dev] support for X86_FP80TyID >>>> Sent: Mar 11, 2010 4:07 PM >>>> >>>> >>>> Hi, >>>> >>>> Currently, when testing the printf tool from coreutils, Klee will hit an >>>> assert in ConstantExpr::fromMemory because it does not handle X86_FP80TyID >>>> (80 bit float). >>>> >>>> Adding support for this seems like it requires quite a few changes: >>>> - adding support for the 80 bit float type in Expr.h >>>> - modifying the create and alloc functions in ConstantExpr to accept types >>>> with more than 64 bits. >>>> -fix other places in the code that may assume that a ConstantExpr is at >>>> most 64 bits wide (I am not sure yet if this will be required). >>>> >>>> I am currently implementing this and I was wondering if you know a better >>>> way to solve it. Did anyone else ran into this problem? >>>> >>>> Thanks, >>>> Cristi >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> >>>> _______________________________________________ >>>> klee-dev mailing list >>>> klee-dev at keeda.stanford.edu >>>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>>> >>>> >>>> Sent via BlackBerry from T-Mobile >>>> _______________________________________________ >>>> klee-dev mailing list >>>> klee-dev at keeda.stanford.edu >>>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>>> >>> > >
