On Wed, Dec 09, 2009 at 08:01:45PM -0500, Rahul Garg wrote: > I was wondering if there is a module for function inlining? The > documentation mentions ext/inlining.ml but I did not find such a file in CIL > 1.3.7?
Already asked a few months ago: http://www.mail-archive.com/cil-users@lists.sourceforge.net/msg00127.html Regards, -- Gabriel Kerneis ------------------------------------------------------------------------------ Return on Information: Google Enterprise Search pays you back Get the facts. http://p.sf.net/sfu/google-dev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
