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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id A5139BBAF for ; Sun, 6 Jul 2008 18:30:42 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkHAF+QcEjAXQIn/2dsb2JhbACEVqgU X-IronPort-AV: E=Sophos;i="4.30,311,1212357600"; d="scan'208";a="27067630" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Jul 2008 18:30:12 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m66GU9h8006743 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 6 Jul 2008 18:30:11 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUEAKuPcEhbeR7SgWdsb2JhbACEVo4GAQEQIAOZVA X-IronPort-AV: E=Sophos;i="4.30,311,1212357600"; d="scan'208";a="12869805" Received: from 27.mail-out.ovh.net ([91.121.30.210]) by mail2-smtp-roc.national.inria.fr with SMTP; 06 Jul 2008 18:30:09 +0200 Received: (qmail 622 invoked by uid 503); 6 Jul 2008 16:33:32 -0000 Received: from unknown (HELO mail171.ha.ovh.net) (213.186.33.59) by 27.mail-out.ovh.net with SMTP; 6 Jul 2008 16:33:32 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 6 Jul 2008 16:30:06 -0000 Received: from mut38-5-82-246-191-110.fbx.proxad.net (HELO ?192.168.0.10?) (forum%x9c.fr@82.246.191.110) by ns0.ovh.net with SMTP; 6 Jul 2008 16:30:04 -0000 Message-Id: <05BD5F86-A646-429A-9580-AA6EBFD96F74@x9c.fr> From: "forum@x9c.fr" To: caml-list@inria.fr Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v924) Subject: [ANN] Bisect 1.0 alpha Date: Sun, 6 Jul 2008 18:30:06 +0200 X-Mailer: Apple Mail (2.924) X-Ovh-Tracer-Id: 17513373052003484448 X-Ovh-Remote: 82.246.191.110 (mut38-5-82-246-191-110.fbx.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Miltered: at concorde with ID 4870F311.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 dependencies:01 hpc:01 hpc:01 non-trivial:01 camlp:01 1.0:98 1.0:98 replica:98 unix:01 caml:02 caml:02 objective:02 objective:02 annotated:02 This post announces the 1.0 alpha version of Bisect. Bisect is a coverage tool for the Objective Caml language. Home page: http://bisect.x9c.fr Features: - lightweight tool - camlp4-based instrumentation of source files - HTML-based report with replica of original source code annotated with coverage information - per-file and application-wide statistics Dependencies: - Objective Caml 3.10.2 - Unix module Planned features: - other report formats (framed HTML, XML, bare text) - thread support - some nice features borrowed from HPC (http://projects.unsafeperformio.com/hpc/ ) This is my very first non-trivial camlp4-based application, and would be glad to hear comment and suggestions about Bisect, and the way it could be enhanced. Xavier Clerc