Re: [CIL users] function inlining

2009-12-10 Thread Gabriel Kerneis
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.sourcefo

[CIL users] function inlining

2009-12-09 Thread Rahul Garg
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