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,
Hello everyone,
Now I'm trying to do merging on one program(faad2-2.7). When I try to
"make" it using cilly with the option "--merge", it complains "file not
recognized: File format not recognized". Here is i'm trying:
make CC="/home/username/cil/bin/cilly --merge --keepmerged"
the errors:
/bi
On Mon, Apr 25, 2011 at 05:21:46PM -0700, Grundy, Jim D wrote:
> I have a need to start using a recent svn version of CIL - I'm
> encountering issues that have been fixed in SVN but not in the
> release.
> Is there anything that can be done?
$ git clone http://www.pps.jussieu.fr/~kerneis/software/
