Hi,
I would like to use Cil in my project. I am new to Cil and Ocaml.
Basically I can see that Cil heap allocates certain stack objects like
dangerous local arrays in the file heapify.ml
I want to allocate all stack objects including basic type variables on the
heap as part of my project. For this I need to understand how the
heapify.mlworks so that I can do something similar for other objects.
However, since I
am new to Ocaml, I find the code in heapify.ml cryptic. Is there some
documentation that explains what each expression in heapify.ml does.?
Regards,
-Divya
------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
