From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 51CAABB83 for ; Thu, 7 Sep 2006 21:50:23 +0200 (CEST) Received: from pandora.cs.kun.nl (pandora.cs.kun.nl [131.174.33.4]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k87JoMma011477 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 7 Sep 2006 21:50:23 +0200 Received: from tandem.cs.ru.nl [131.174.142.18] (helo=tandem.cs.ru.nl) by pandora.cs.kun.nl (8.13.7/5.9) with ESMTP id k87Jo4Bu005047; Thu, 7 Sep 2006 21:50:04 +0200 (MEST) Received: from tews by tandem.cs.ru.nl with local (Exim 4.63) (envelope-from ) id 1GLPu4-0000Wb-MQ; Thu, 07 Sep 2006 21:51:12 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17664.30768.563775.775330@tandem.cs.ru.nl> Date: Thu, 7 Sep 2006 21:51:12 +0200 To: caml-list@inria.fr, smcpeak@cs.berkeley.edu Subject: [Announce] Olmar - almost a C++ parser for Ocaml X-Mailer: VM 7.19 under Emacs 21.4.1 From: Hendrik Tews X-Scanned-By: MIMEDefang 2.56 on 131.174.33.4 X-Miltered: at concorde with ID 450077FE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; parser:01 ocaml:01 hendrik:01 tews:01 tews:01 ocaml:01 parser:01 syntax:01 syntax:01 ocaml's:01 hendrik:01 postdoc:01 universiteit:01 elsa:98 elsa:98 It is my pleasure to announce Olmar -- a system to process C++ programs in Ocaml available from http://www.cs.ru.nl/~tews/olmar/ More precisely, Olmar is a patch for the Elkhound/Elsa [1] C/C++ parser that permits the Elsa parser to translate its internal abstract syntax tree into an Ocaml value, which can then be further processed by an Ocaml program. Olmar comes with ast_graph, a tool that can dump the abstract syntax tree in the dot language. You can therefore now admire the syntax tree of Ocaml's minor garbage collector at http://www.cs.ru.nl/~tews/olmar/minor_gc.ps.gz License: BSD (following Elsa/Elkhound) [1] http://www.cs.berkeley.edu/~smcpeak/elkhound/ Hendrik Tews -- ================================================================= Hendrik Tews Postdoc in the Security of Systems (SoS) group Radboud Universiteit Nijmegen, The Netherlands Telefon: +31 24 3652217 e-mail: tews@cs.ru.nl www: http://www.cs.ru.nl/~tews/ pgp key: http://www.cs.ru.nl/~tews/pgpkey.asc =================================================================