Hi.
Thanks for the link to CCured - was also interested in having it, since,
historically
CCured is the reason the CIL project was started. I downloaded it at the
following addresses:
-
http://web.archive.org/web/20070625233657/http://hal.cs.berkeley.edu/ccured/distrib/ccured-1.
Alex,
On Fri, Sep 20, 2013 at 09:12:50AM +0300, Alex Susu wrote:
> The partial modules is very interesting. Was it used for a publication?
> If so, could
> you please tell me some reference(s).
The partial feature was written by the
original CIL crew Necula, McPeak, Weimer. It
look
