Version française
Home     About     Download     Resources     Contact us    
Browse thread
issues on modifying code in ext/cfg.ml in CIL
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: haihao shen <haihaoshen@g...>
Subject: Re: [Caml-list] issues on modifying code in ext/cfg.ml in CIL
Thanks.

On Wed, Jul 21, 2010 at 2:36 PM, Gabriel Kerneis <kerneis@pps.jussieu.fr>wrote:

> On Wed, Jul 21, 2010 at 10:59:25AM +0800, haihao shen wrote:
> > Currently I am doing some work on CIL.
>
> There is a dedicated CIL mailing-list:
> cil-users@lists.sourceforge.net
>
> You should get more feedback there.
>
> Regards,
> --
> Gabriel
>