From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA04239; Fri, 20 Dec 2002 15:14:14 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA05357 for ; Fri, 20 Dec 2002 15:14:13 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gBKEECH13387; Fri, 20 Dec 2002 15:14:12 +0100 (MET) Received: from serveur-mail.lri.fr (serveur-mail [129.175.8.90]) by lri.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id gBKDwEP06881 ; Fri, 20 Dec 2002 14:58:14 +0100 (MET) Received: from pc8-119.lri.fr (pc8-119 [129.175.8.119]) by serveur-mail.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id gBKDwDx15785 ; Fri, 20 Dec 2002 14:58:13 +0100 (MET) Received: from localhost ([127.0.0.1] helo=lri.fr) by pc8-119.lri.fr with esmtp (Exim 3.36 #1 (Debian)) id 18PNfJ-0006AV-00; Fri, 20 Dec 2002 14:58:13 +0100 Message-ID: <3E0321F5.5E88BBB5@lri.fr> Date: Fri, 20 Dec 2002 14:58:13 +0100 From: Julien Signoles X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.17 i686) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr, caml-announce@inria.fr Subject: [Caml-list] ocamldefun : first release Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-MailScanner: Found to be clean Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear ocamlers, English version bellow. --- Je suis heureux d'annoncer la premiere diffusion de ocamldefun, un defonctoriseur pour Objective Caml. ocamldefun prend en entree un programme caml et deplie les applications de foncteurs qu'il contient de maniere a : - optimiser ses performances - faciliter les analyses statiques de programme caml. Des informations supplementaires sont disponibles sur la page web qui lui est consacree : http://www.lri.fr/~signoles/ocamldefun Vous pouvez me contacter pour me signaler des erreurs et/ou des ameliorations a apporter a l'adresse suivante : Julien.Signoles@lri.fr --- I'm happy to announce the first release of ocamldefun, a defunctorizer tool for Objective Caml. ocamldefun takes as input an ocaml program and it unfolds the functor applications of this program in order to : - gain execution time - ease the job of static analysis tools. More information are given on the web page dedicated to ocamldefun : http://www.lri.fr/~signoles/ocamldefun/index.en.html You can contact me for bug reports and/or feedbacks at the following adress : Julien.Signoles@lri.fr --- Julien Signoles -- mailto : Julien.Signoles@lri.fr ; http : www.lri.fr/~signoles "In theory, practice and theory are the same, but in practice they are different" (Larry McVoy) ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners