Re: [CIL users] CIL Inliner

2013-11-13 Thread Gabriel Kerneis
On Wed, Nov 13, 2013 at 10:26:42PM +0200, Christian Collberg wrote: > I would love for the inliner to be available by default. Note that "by default", I only mean that do not need to explicitly load it. You can use --load=inliner. -- Gabriel -

Re: [CIL users] CIL Inliner

2013-11-13 Thread Christian Collberg
I would love for the inliner to be available by default. C On Wed, Nov 13, 2013 at 7:50 PM, Jonathan Kotker wrote: > Hi Gabriel. > > Thanks for the answer. I guess I automatically assumed that if a feature > was registered, then it would show up as a default feature in CIL. Again, > my use case

Re: [CIL users] CIL Inliner

2013-11-13 Thread Jonathan Kotker
Hi Gabriel. Thanks for the answer. I guess I automatically assumed that if a feature was registered, then it would show up as a default feature in CIL. Again, my use case for the inliner is very specific, so I'm not sure how many people would like the inliner to be available by default. Maybe othe

Re: [CIL users] CIL Inliner

2013-11-13 Thread Gabriel Kerneis
Hi Jonathan, On Tue, Nov 12, 2013 at 11:38:08PM -0800, Jonathan Kotker wrote: > This is more a question out of curiosity, but is there a reason that the > inliner, available in src/ext, is not included in the default features of > CIL? I use it as part of GameTime, and currently, when a user insta

[CIL users] CIL Inliner

2013-11-12 Thread Jonathan Kotker
Hello (CIL) World. This is more a question out of curiosity, but is there a reason that the inliner, available in src/ext, is not included in the default features of CIL? I use it as part of GameTime, and currently, when a user installs GameTime, the installation procedure uses a patch file to add

Re: [CIL users] CIL inliner

2009-07-20 Thread Mauro Baluda
On Sat, Jul 18, 2009 at 5:13 AM, John Regehr wrote: > We have one that is part of cXprop, which you can find here: > >   http://www.cs.utah.edu/~coop/research/cxprop/ I tried it and it's exactly what I need, thankyou but I'm having problems integrating the transformation in my CIL installation, is

Re: [CIL users] CIL inliner

2009-07-17 Thread John Regehr
We have one that is part of cXprop, which you can find here: http://www.cs.utah.edu/~coop/research/cxprop/ It generally works well. However, the code is exceptionally ugly since the inliner was a "getting started with OCaml" project for a student and he never went back and cleaned it up. J

[CIL users] CIL inliner

2009-07-17 Thread Mauro Baluda
in the cil documentation I read about a function inliner which I can't find in the code... http://hal.cs.berkeley.edu/cil/ext.html#toc14 Is it still available? or any other implementation? Mauro -- Computer science is no more about computers than astronomy is about telescopes - Edsger W. Dijk