Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0


On Wed, Sep 12, 2012 at 11:29 PM, Jerry James <loganjerry at> wrote:
> I'm not sure I understand.  Do you mean something more is necessary
> than the addition of the reset and stats functions?  I added those two
> in the patch attached to my first message.

Unfortunately, something more is needed; sorry for having been a bit
unclear the first time. Without those additional changes, Frama-C will
compile fine, but the save/load feature will probably be broken. (In
fact, I'm not 100% sure that the GODI package is ok as is.) The patch
I was referring to is attached to this mail ; you changed Inthash in a
different way than us, but I think the patch is correct anyway. To see
if Frama-C works correctly, you can start "ptests.byte -show" in the
root compilation directory; you should not get any backtrace.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-unmarshal
Type: application/octet-stream
Size: 1658 bytes
Desc: not available
URL: <>