> On a big tangent, has anyone ever been tempted to recast Cil's > analyses and optimizations in a composable framework, a la [1]?
We did a bit of work in this direction: http://www.cs.utah.edu/~regehr/papers/lctes06_1/ http://www.cs.utah.edu/~coop/research/cxprop/ John Regehr ------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
