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 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E7FA5BC69 for ; Mon, 30 Oct 2006 23:54:15 +0100 (CET) Received: from smeltpunt.science.ru.nl (smeltpunt.science.ru.nl [131.174.16.145]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9UMs9Lb028349 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 30 Oct 2006 23:54:15 +0100 Received: from tandem.cs.ru.nl [131.174.142.18] (helo=tandem.cs.ru.nl) by smeltpunt.science.ru.nl (8.13.7/5.10) with ESMTP id k9UMs9E7028311 for ; Mon, 30 Oct 2006 23:54:09 +0100 (MET) Received: from tews by tandem.cs.ru.nl with local (Exim 4.63) (envelope-from ) id 1Geg1A-00069K-VC for caml-list@inria.fr; Mon, 30 Oct 2006 23:54:08 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17734.33424.876007.711840@tandem.cs.ru.nl> Date: Mon, 30 Oct 2006 23:54:08 +0100 To: caml-list@inria.fr Subject: [Announce new release] 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.16.145 X-Spam: no; 0.00; parser:01 ocaml:01 hendrik:01 tews:01 tews:01 ocaml:01 syntax:01 computed:01 parser:01 syntax:01 ocaml's:01 hendrik:01 postdoc:01 universiteit:01 elsa:98 I would like to announce a new snapshot release of Olmar -- a system to process C++ programs in Ocaml available from http://www.cs.ru.nl/~tews/olmar/ New in this release: - syntax trees are much larger: All xml annotated fields are available in Ocaml. This includes, for instance, an (elsa computed) type for all expressions. General description: 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 =================================================================