On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis <kern...@pps.jussieu.fr> wrote: > On Fri, Apr 09, 2010 at 09:24:43AM -0400, Wei Hu wrote: >> http://cil.sourceforge.net/ works fine. > > But does not contain the online doc AFAICS.
Are you sure? I just checked and the doc has been moved to http://www.cs.berkeley.edu/~necula/cil/. The old address doesn't work any more. > > make doc works fine, of course, but still, it is good to have it > available on the internet. > > Regards, > -- > Gabriel Kerneis > ------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users