From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 78F63BC57 for ; Wed, 21 Jul 2010 08:38:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEAHgyRkzVujhf/2dsb2JhbACfcXG/JIUyBId9 X-IronPort-AV: E=Sophos;i="4.55,236,1278280800"; d="scan'208";a="66743077" Received: from witko.kerneis.info ([213.186.56.95]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 21 Jul 2010 08:38:46 +0200 Received: from alf94-4-82-224-79-17.fbx.proxad.net ([82.224.79.17] helo=hokahe.kerneis.info) by witko.kerneis.info with esmtpsa (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1ObSvR-0002vi-2C; Wed, 21 Jul 2010 08:37:05 +0200 Received: from gabriel by hokahe.kerneis.info with local (Exim 4.72) (envelope-from ) id 1ObSuq-00013N-5H; Wed, 21 Jul 2010 08:36:28 +0200 Date: Wed, 21 Jul 2010 08:36:28 +0200 From: Gabriel Kerneis To: haihao shen Cc: caml-list@inria.fr Subject: Re: [Caml-list] issues on modifying code in ext/cfg.ml in CIL Message-ID: <20100721063628.GA2684@kerneis.info> Mail-Followup-To: haihao shen , caml-list@inria.fr References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: 82.224.79.17 X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false X-Spam: no; 0.00; sourceforge:01 wrote:01 cfg:01 pps:01 caml-list:01 jussieu:01 modifying:02 jul:05 wed:06 should:13 cil:85 cil:85 some:14 issues:14 gabriel:16 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