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. John Regehr Mauro Baluda wrote: > 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 ------------------------------------------------------------------------------ Enter the BlackBerry Developer Challenge This is your chance to win up to $100,000 in prizes! For a limited time, vendors submitting new applications to BlackBerry App World(TM) will have the opportunity to enter the BlackBerry Developer Challenge. See full prize details at: http://p.sf.net/sfu/Challenge _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
