From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <julia.lawall@lip6.fr>
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 <caml-list@sympa.inria.fr>; 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 <julia.lawall@lip6.fr>
X-X-Sender: jll@hadrien
To: caml-list@inria.fr
Message-ID: <alpine.DEB.2.21.1903161531200.2487@hadrien>
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

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