Alex, On Tue, Oct 08, 2013 at 05:18:33PM +0300, Alex Susu wrote: > I updated the list of projects using CIL: you can find it at > https://sites.google.com/site/alexsusu/home/cil . > Again, please feel free to add or make corrections to the list.
Thanks for your list. Could you please link to the sourceforge homepage for CIL? http://cil.sf.net/ The page you link to [1] is George Necula's deprecated copy of the CIL documentation. (By the way, George, would you mind deleting it, or redirecting the URL to [2] instead?) [1] http://www.cs.berkeley.edu/~necula/cil/ [2] http://kerneis.github.io/cil/doc/html/cil/ Thanks in advance, -- Gabriel ------------------------------------------------------------------------------ October Webinars: Code for Performance Free Intel webinars can help you accelerate application performance. Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from the latest Intel processors and coprocessors. See abstracts and register > http://pubads.g.doubleclick.net/gampad/clk?id=60134071&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users