From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1CDgAYw020143 for ; Sat, 12 Feb 2011 14:42:10 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0AAPYcVk0uaSJ4mWdsb2JhbACmEwEBAQEBCAsKBxEkuU+FXgQ X-IronPort-AV: E=Sophos;i="4.60,461,1291590000"; d="scan'208";a="99775909" Received: from 7.27.mail-out.ovh.net (HELO 27.mail-out.ovh.net) ([46.105.34.120]) by mail1-smtp-roc.national.inria.fr with SMTP; 12 Feb 2011 14:42:05 +0100 Received: (qmail 2876 invoked by uid 503); 12 Feb 2011 14:34:36 -0000 Received: from b9.ovh.net (HELO mail193.ha.ovh.net) (213.186.33.59) by 27.mail-out.ovh.net with SMTP; 12 Feb 2011 14:34:30 -0000 Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 12 Feb 2011 15:41:59 +0200 Received: from ip-22.net-82-216-3.versailles2.rev.numericable.fr (HELO ?192.168.0.10?) (forum%x9c.fr@82.216.3.22) by ns0.ovh.net with SMTP; 12 Feb 2011 15:41:57 +0200 From: "forum@x9c.fr" Content-Type: text/plain; charset=us-ascii Date: Sat, 12 Feb 2011 14:41:57 +0100 Message-Id: <32FFC83F-E8F0-467F-861A-CFC392F235C9@x9c.fr> Cc: x9c To: caml-list users Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) X-Ovh-Tracer-Id: 10242592929348977440 X-Ovh-Remote: 82.216.3.22 (ip-22.net-82-216-3.versailles2.rev.numericable.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Spam-Check: DONE|U 0.5/N Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p1CDgAYw020143 Subject: [Caml-list] [ANN] Bisect 1.1 release Dear list, This post announces the 1.1 release of the Bisect project, whose goal is to provide a code coverage tool for the Objective Caml language. Home page: http://bisect.x9c.fr Main changes since 1.0: - update for Objective Caml 3.12.0 - new build system (ocamlbuild-based) - reorganization of 'src' directory - 'instrument.cmo' renamed to 'bisect_pp.cmo' (and now depends on 'str.cma') - instrumentation modes ('safe', 'fast', and 'faster') - '-exclude' command-line switch to exclude functions from instrumentation - '(*BISECT-MARK*)' / '(*BISECT-VISIT*)' comments to mark lines - '(*BISECT-IGNORE-BEGIN*)' / '(*BISECT-IGNORE-END*)' / '(*BISECT-IGNORE*)' comments to ignore parts of source file - bug #51: unportable use of 'which' - bug #52: thread-compatibility module does not compile - bug #59: instrumented code is 20 times slower Xavier Clerc