From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 41F707EE4B for ; Tue, 15 Oct 2013 23:36:31 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel@kerneis.info) identity=pra; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel@kerneis.info designates 176.31.113.173 as permitted sender) identity=mailfrom; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@wanbli.kerneis.info designates 176.31.113.173 as permitted sender) identity=helo; client-ip=176.31.113.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@wanbli.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiMFACq0XVKwH3Gt/2dsb2JhbABagweDbUa/AYEmFnSCJgEFIwQLAQUIAQE4DwQHGgIYDgICVwYbiAKqRXWDXQEFjmMGgSmOKBaCVIE7jm6PRItXgWaBPzs X-IPAS-Result: AiMFACq0XVKwH3Gt/2dsb2JhbABagweDbUa/AYEmFnSCJgEFIwQLAQUIAQE4DwQHGgIYDgICVwYbiAKqRXWDXQEFjmMGgSmOKBaCVIE7jm6PRItXgWaBPzs X-IronPort-AV: E=Sophos;i="4.93,502,1378850400"; d="scan'208";a="37189127" Received: from wanbli.kerneis.info ([176.31.113.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 15 Oct 2013 23:36:29 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=wanbli-rsa1; h=Subject:Message-ID:References:In-Reply-To:From:Date:Content-Transfer-Encoding:Content-Type:MIME-Version:To; bh=lRx3/V/ehKwz9kaf8VkYq8eei99Yca+laykszkDrtZs=; b=Ci7XxBxhhzCGytEsA/Q1Lx224jMLZEL/WxMEkaKMIoTGZMJltYdSOnNbgXVQePvcYxoahcnDbftJejUdXiwqt93I3hVoICEMSyQDJzep6/fZsp/LODowVTyRFQBj4ZpM1KqtBYu42L5QSfSLpDlE2EeeBuBXqmb+qopgLZyJUfI=; Received: from www-data by wanbli.kerneis.info with local (Exim 4.80) (envelope-from ) id 1VWCHz-0005DB-2Q for caml-list@inria.fr; Tue, 15 Oct 2013 21:36:27 +0000 To: X-PHP-Originating-Script: 0:main.inc MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Tue, 15 Oct 2013 22:36:26 +0100 From: Gabriel Kerneis In-Reply-To: References: <20131015124116.GA7090@kerneis.info> <20131015132216.GC7090@kerneis.info> Message-ID: <0a437177279677820a760c6912757fac@kerneis.info> X-Sender: gabriel@kerneis.info User-Agent: Roundcube Webmail/0.7.2 X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on wanbli.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000) X-SA-Exim-Scanned: Yes (on wanbli.kerneis.info) Subject: Re: [Caml-list] [ocaml-jobs] Developper position: designing a C front-end in OCaml Le 2013-10-15 19:29, Dmitry Grebeniuk a écrit : >> We are talking about changing the AST used to manipulate the >> programs. >> Changing it (in either CIL or Frama-C) would mean breaking every >> existing code around the world based on it. > > I don't think so. Imagine that "C source -> CIL representation > (available to code based on CIL)" could be enhanced to "C source -> > Very Concrete C AST -> CIL representation". Old users are happy, new > users have access to Very Concrete C AST. Oh, this is already the case. "Very concrete AST" is the "FrontC" project mentionned elsewhere in this thread. -- Gabriel