From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 23750BC57 for ; Wed, 21 Jul 2010 08:55:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYBABs3RkzRVdi2i2dsb2JhbACfaAgVAQEBCgsKBw8FH618ghCGDS6IVAEBAwWFLQSDfoN/XA X-IronPort-AV: E=Sophos;i="4.55,236,1278280800"; d="scan'208";a="66743547" Received: from mail-qy0-f182.google.com ([209.85.216.182]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Jul 2010 08:55:14 +0200 Received: by qyk7 with SMTP id 7so3577829qyk.6 for ; Tue, 20 Jul 2010 23:55:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:content-type; bh=LmBl+M5QPAKrM04r7n7l7mBT6b6EOcXdqBx4OYjrfis=; b=XqpweDL2s0SFTlsk5IzE/AcyXbAz+rAfjoZNo0Ek14iwj7JgK310UTe2n0lLYA0lHT QM5q4oDQXUi93eF3iXDc2vpHASeTgxzu20h1Mj5YQ48pND68chjfDjhts56YgSxKUu7U lB89xKAeU1kSFHoNvd/+YK2E/+m+h5EuQ4t5U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=HGQ1M57Jv1nObfxGKh7joOYpOlEc6+cQYP7qokdsthjaAC4NtdrPoe5Zv1KHCe9FN0 EUp8TCqihX52IMy2sZT4runcLYyKG9XnKcKU2rwG+GphGMtL8Hg5h1364Y8vfVEvdQaB rjaXsY3Vno43Nn7Afo8ntJWKZTuFUSWxrg+yI= MIME-Version: 1.0 Received: by 10.224.66.75 with SMTP id m11mr6610810qai.157.1279695311147; Tue, 20 Jul 2010 23:55:11 -0700 (PDT) Received: by 10.229.231.80 with HTTP; Tue, 20 Jul 2010 23:55:11 -0700 (PDT) In-Reply-To: <20100721063628.GA2684@kerneis.info> References: <20100721063628.GA2684@kerneis.info> Date: Wed, 21 Jul 2010 14:55:11 +0800 Message-ID: Subject: Re: [Caml-list] issues on modifying code in ext/cfg.ml in CIL From: haihao shen To: haihao shen , caml-list@inria.fr Content-Type: multipart/alternative; boundary=00c09f9237f171145a048be048ee X-Spam: no; 0.00; sourceforge:01 sourceforge:01 wrote:01 wrote:01 cfg:01 pps:01 pps:01 caml-list:01 jussieu:01 jussieu:01 modifying:02 jul:05 jul:05 wed:06 wed:06 --00c09f9237f171145a048be048ee Content-Type: text/plain; charset=ISO-8859-1 Thanks. On Wed, Jul 21, 2010 at 2:36 PM, Gabriel Kerneis 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 > --00c09f9237f171145a048be048ee Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thanks.

On Wed, Jul 21, 2010 at 2:36 PM, Gabriel Kerneis= <kerneis@pp= s.jussieu.fr> wrote:
On Wed, Jul 21, 2010 at 10:59:25AM +0800, haihao shen wro= te:
> 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

--00c09f9237f171145a048be048ee--