From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id F11EF1E5 for ; Sat, 16 Mar 2019 14:31:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,486,1544482800"; d="scan'208";a="374025916" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Mar 2019 15:31:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E982B82665; Sat, 16 Mar 2019 15:31:37 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B591D8266B for ; Sat, 16 Mar 2019 15:31:33 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.58,486,1544482800"; d="scan'208";a="299575601" Received: from abo-58-107-68.mrs.modulonet.fr (HELO hadrien) ([85.68.107.58]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Mar 2019 15:31:33 +0100 Date: Sat, 16 Mar 2019 15:31:33 +0100 (CET) From: Julia Lawall X-X-Sender: jll@hadrien To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Subject: [Caml-list] GSoC project on Coccinelle Reply-To: Julia Lawall X-Loop: caml-list@inria.fr X-Sequence: 17423 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Coccinelle is a C code matching and transformation tool written in OCaml. A GSoC project is available on improving the implementation of Coccinelle, under the umbrella of the Linux Foundation: https://wiki.linuxfoundation.org/gsoc/2019-gsoc-safety-critical-linux julia