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