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.3.5.tar.gz
-
http://web.archive.org/web/20070625233657/http://hal.cs.berkeley.edu/cil/distrib/ciltests-1.3.5.tar.gz
Please let me know if I missed something.
Would it be a good idea to add CCured to CIL's repo?
Best regards,
Alex
On 9/19/2013 9:11 AM, Gabriel Kerneis wrote:
> On Wed, Sep 18, 2013 at 03:58:46PM -0400, Edward Schwartz wrote:
...
>> Also, is the CCured source code available anywhere? There are a few
>> references to it in the CIL source code, but that is all.
>
> When I took over CIL maintenance, I decided not to care about CCured because
> I knew nothing about it and had not interest in what it did. I believe that
> the source code unfortunately disappeared when CIL svn at Berkeley was shut
> down, but some people on the list might still have a copy.
>
> http://stackoverflow.com/questions/15230380/where-to-download-ccured
>
> Best regards,
------------------------------------------------------------------------------
LIMITED TIME SALE - Full Year of Microsoft Training For Just $49.99!
1,500+ hours of tutorials including VisualStudio 2012, Windows 8, SharePoint
2013, SQL 2012, MVC 4, more. BEST VALUE: New Multi-Library Power Pack includes
Mobile, Cloud, Java, and UX Design. Lowest price ever! Ends 9/20/13.
http://pubads.g.doubleclick.net/gampad/clk?id=58041151&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
