From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <forum@x9c.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 766657ED67
	for <caml-list@sympa.inria.fr>; Tue, 14 Aug 2012 20:08:19 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  forum@x9c.fr) identity=pra; client-ip=87.98.184.159;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  forum@x9c.fr designates 87.98.184.159 as permitted sender)
  identity=mailfrom; client-ip=87.98.184.159;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr"; x-sender="forum@x9c.fr";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mo6.mail-out.ovh.net) identity=helo;
  client-ip=87.98.184.159;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="forum@x9c.fr";
  x-sender="postmaster@mo6.mail-out.ovh.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjUBADOTKlBXYrifmWdsb2JhbABFhTq1BAEBAQEBCAsLBxQngyCJYrknjhqDHAOVSgGBFAiRVQ
X-IronPort-AV: E=Sophos;i="4.77,768,1336341600"; 
   d="scan'208";a="153075129"
Received: from 4.mo6.mail-out.ovh.net (HELO mo6.mail-out.ovh.net) ([87.98.184.159])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Aug 2012 20:08:18 +0200
Received: from mail391.ha.ovh.net (b7.ovh.net [213.186.33.57])
	by mo6.mail-out.ovh.net (Postfix) with SMTP id B1F3CFF81EC
	for <caml-list@inria.fr>; Tue, 14 Aug 2012 20:13:39 +0200 (CEST)
Received: from b0.ovh.net (HELO queueout) (213.186.33.50)
	by b0.ovh.net with SMTP; 14 Aug 2012 18:08:18 -0000
Received: from ns0.ovh.net (HELO localhost) (213.186.33.20)
  by ns0.ovh.net with SMTP; 14 Aug 2012 18:08:17 -0000
Received: from ip-131.net-82-216-20.versailles2.rev.numericable.fr
 (ip-131.net-82-216-20.versailles2.rev.numericable.fr [82.216.20.131]) by
 ssl0.ovh.net (Horde Framework) with HTTP; Tue, 14 Aug 2012 20:08:17 +0200
Message-ID: <20120814200817.17816y5h82nbtkhs@ssl0.ovh.net>
Date: Tue, 14 Aug 2012 20:08:17 +0200
From: forum@x9c.fr
To: caml-list@inria.fr
Cc: forum@x9c.fr
X-Ovh-Mailout: 178.32.228.6 (mo6.mail-out.ovh.net)
MIME-Version: 1.0
Content-Type: text/plain;
 charset=ISO-8859-1;
 DelSp="Yes";
 format="flowed"
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
User-Agent: Internet Messaging Program (IMP) H3 (4.3.5)
X-Ovh-Tracer-Id: 10669308994336195360
X-VR-SPAMSTATE: OK
X-VR-SPAMSCORE: 0
X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrtdegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecunecuhfhrohhmpehfohhruhhmseiglegtrdhfrhenucffohhmrghinhepgieltgdrfhhrnecujfgurhephffvufggtggugfgfsehtjedttddtredu
Subject: [Caml-list] [ANN] Bisect 1.2 release

Dear list,

This post announces the 1.2 release of the Bisect project, whose goal  
is to provide
a code coverage tool for the OCaml language.

Home page: http://bisect.x9c.fr

Main changes since 1.1:
   - new '-combine-expr' to allow combination of results
   - new 'dump' output mode (mainly for debug)
   - new 'bisect' output mode (i. e. format of runtime data)
   - new '-exclude-file' command-line switch to exclude toplevel functions
     listed in a file
   - update for OCaml 4.00.0
   - bug #95: polymorphic recursion is not handled
   - bug #104: configure script should be executable


Xavier Clerc