Hi. 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?
thanks, rahul
------------------------------------------------------------------------------ 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
