Yes. I have change module A = Olf to module A = Golf. And thanks very much
for your suggestions!
2011/4/27 Christoph Spiel
> On Tue, Apr 26, 2011 at 07:46:16PM -0400, Feng Zhu wrote:
> > I am a new user of CIL and I try to use the pointer-analysis module.
>
> I hope you're aware that you mus
On Tue, Apr 26, 2011 at 07:46:16PM -0400, Feng Zhu wrote:
> I am a new user of CIL and I try to use the pointer-analysis module.
I hope you're aware that you must change the
module A = Olf
line in "ptranal.ml" to
module A = Golf
and recompile CIL to actually use the
generalized
Hi, everyone,
I am a new user of CIL and I try to use the pointer-analysis module.When
I read the source code of golf.ml, I found that there are 3 types of
subtyping kind.But what is the difference? And what is the use of each
one?If there is any relevent document, it will help much.
Thanks,
