On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis 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
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.
make doc works fine, of course, but still, it is good to have it
available on the internet.
Regards,
--
Gabriel Kerneis
http://cil.sourceforge.net/ works fine.
On Fri, Apr 9, 2010 at 2:07 AM, Gabriel Kerneis wrote:
> On Wed, Mar 24, 2010 at 09:57:06PM -0400, Vinai Sundaram wrote:
>> I have problems accessing the homepage at
>> http://hal.cs.berkeley.edu/cil/
>> Has the homepage moved to a different location or the
