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=NO_RELAYS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 18965) id 78AB7BB84; Tue, 9 Sep 2008 09:52:35 +0200 (CEST) Date: Tue, 9 Sep 2008 09:52:35 +0200 From: Francois Pottier To: menhir-list@yquem.inria.fr, Caml Mailing List Subject: [ANN] New release of Menhir Message-ID: <20080909075235.GA7950@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; ocamlyacc:01 parsers:01 compiler:01 grammars:01 guillaume:01 bau:01 ocaml:01 bug:01 cristal:01 cristal:01 pottier:01 pottier:01 grammar:02 implemented:02 slower:02 Hello all, It is my pleasure to announce a new release of Menhir, with the following main improvements over previous versions: --table Menhir now supports producing table-based LR automata, in the tradition of yacc, bison, and ocamlyacc. This makes the generated parsers up to 5x smaller, and somewhat slower. --interpret Menhir can now be used not just as a compiler, but also as an interpreter. It will read sentences off the standard input channel, parse them as per your grammar, and report an outcome. This should help debug grammars. These new features were implemented by Guillaume Bau, Raja Boujbel, and François Pottier. We would like to gratefully acknowledge the generous support of Jane Street Capital LLC, who funded this endeavor through an ocaml summer project. As usual, the new release is available either through GODI, or as source code at the following URL. http://cristal.inria.fr/~fpottier/menhir/ Enjoy! Comments and bug reports are welcome. -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/