From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3ECE07EF0D for ; Wed, 10 Feb 2016 16:33:22 +0100 (CET) IronPort-PHdr: 9a23:3xAycRYV0i1/1DMtQQLdXQ7/LSx+4OfEezUN459isYplN5qZpc+ybnLW6fgltlLVR4KTs6sC0LqJ9fu6EjNZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0oMeYPFwArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0wQjh1OSyLM5xH7WN+luy3msex30SKaPMveXLk0XjPk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=antonbachin@yahoo.com; spf=Pass smtp.mailfrom=antonbachin@yahoo.com; spf=None smtp.helo=postmaster@nm26-vm4.bullet.mail.ne1.yahoo.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of antonbachin@yahoo.com) identity=pra; client-ip=98.138.91.186; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="antonbachin@yahoo.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of antonbachin@yahoo.com designates 98.138.91.186 as permitted sender) identity=mailfrom; client-ip=98.138.91.186; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="antonbachin@yahoo.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@nm26-vm4.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.186; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antonbachin@yahoo.com"; x-sender="postmaster@nm26-vm4.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CmAQDtV7tWmLpbimJegi6BXm0QiEyhCIVEimKBZhcMhSCCCDoSAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYJVBgE5FYEQP4dxAQMSDqFGkUSCV4UPASMnA4ReAQoBAQEBAQETBgwCAYYDgW2HSIF8C0AYgQ8FjhuIXYVMiAUZgUNKg3mDAyCFMAJEhSuIUCcOgkGBb0uIUwEBAQ X-IPAS-Result: A0CmAQDtV7tWmLpbimJegi6BXm0QiEyhCIVEimKBZhcMhSCCCDoSAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYJVBgE5FYEQP4dxAQMSDqFGkUSCV4UPASMnA4ReAQoBAQEBAQETBgwCAYYDgW2HSIF8C0AYgQ8FjhuIXYVMiAUZgUNKg3mDAyCFMAJEhSuIUCcOgkGBb0uIUwEBAQ X-IronPort-AV: E=Sophos;i="5.22,426,1449529200"; d="scan'208";a="202500307" Received: from nm26-vm4.bullet.mail.ne1.yahoo.com ([98.138.91.186]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Feb 2016 16:33:21 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1455118398; bh=7bSCebFL8FvRn2+KdWYisuOOXsKlRU7VJyBbN81JxUA=; h=From:Subject:Date:To:From:Subject; b=DREGzF279aQS/zjOxQbChRnUapz6+EqsyEk42Lz+Oce7FqWTi/ChRYEULnblfIkHzWOJOMOQHxStKNzbqPqJ80Vrk8pe5Ely1iUDvoxDBWTfYyO5LPPIC8uG9mv+Sh/pD0vWIgQHfeLigY7NXshSYFmdlJhgt/O9tSx0+1+y2HbZkPfe25+l2Z41HLT2g1kpNaTkfEQHgdjej2kaU7XEo1l+eI9Xgh0VgRSN1cXzWeBkRdQqP0oL60KXEwBsFCZX3+EzNdPv2bSijNhQhn7x9g5tqY87zkO8/pA7RigWTojP1djLhB89+jRMWbhwBji7xopaUMyGcLloIU6S3iqXpw== Received: from [98.138.100.103] by nm26.bullet.mail.ne1.yahoo.com with NNFMP; 10 Feb 2016 15:33:18 -0000 Received: from [98.138.226.131] by tm102.bullet.mail.ne1.yahoo.com with NNFMP; 10 Feb 2016 15:33:18 -0000 Received: from [127.0.0.1] by smtp218.mail.ne1.yahoo.com with NNFMP; 10 Feb 2016 15:33:18 -0000 X-Yahoo-Newman-Id: 583238.4434.bm@smtp218.mail.ne1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: ZZi1T8UVM1lTcAwnIi4GV1JSFNCUZnSpYYymugAjl3mheID BwQYy_vmPk7hFbC0U2xFY48fNH3TbgKsOqyuqExTdh3nC9K9WHruIJ8NE5IZ Il3MxcRTHQq8X2E.oNyhQ1TP0Kk0ds3irNirxlmg6xBRAZkSYV9uw_3L6LZg 6IADi6sxZqNgh0mVhZc7UfHnGlsy4Xj1wiY2063r1FEEP7AAypnP06L3IT71 QOIoYB.rezSJNMSWxNFsx.5nwuUmsojQBQMgA9puHJiZUCFZ42lw3m1cdw1k gQym2PQ6PhoKZtq0_zvBnn2bzCGsrvZoKs2rV7stzBk6KgN2Cw7SPphserrw sjRSR23eMfMXknkX7orzuzVTOpmJ2RV2qxsr46uNkh3.y3LzbeX9RTowY3hU k.3Q93qhyxJjc.dwBhs_uGf0LpolHDcmkprUBg59bxy.MTnrNn8cgTctoJt_ 86ZXQDqzvRc5XMqNIpthC8YQfvSfqtennTlhcaAIB.6Te0pjJZ2S5QMMJ7PN cyiUvGXHheR7vqWh1SYUenLjJ2D1Gy87SHt6DGNuA2.S0 X-Yahoo-SMTP: ddtAESaswBBsjSthz_dVP91gr2NDfymF From: Anton Bachin Content-Type: text/plain; charset=us-ascii X-Mao-Original-Outgoing-Id: 476811197.842203-eef5e5b1fb4cf3967315395ab872ea39 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) Message-Id: <1FE0ECD4-BBD6-48DA-95BD-BB240E07484C@yahoo.com> Date: Wed, 10 Feb 2016 09:33:17 -0600 To: caml-list@inria.fr X-Mailer: Apple Mail (2.2070.6) Subject: [Caml-list] =?UTF-8?Q?=5BANN=5D_Bisect=5Fppx_1=2E0=2E0_=E2=80=93_?= =?UTF-8?Q?Modernized_code_coverage_for_OCaml?= Hello, We would like to announce the release of Bisect_ppx 1.0.0, a code coverage = tool for OCaml with appealing reports: https://github.com/rleonid/bisect_ppx You can see a live coverage report here: http://rleonid.github.io/bisect_ppx/coverage/ Reports can also be submitted to Coveralls.io using ocveralls [1]. See an example here [2]. Bisect_ppx is a fork of the original Bisect by Xavier Clerc, with extensive further development. Differences from Bisect, and from earlier versions of Bisect_ppx, include: - the nicer and more legible HTML reports, - more thorough instrumentation, now including nested functions and or-patt= erns, - improved compatibility with other PPX rewriters, - an Ocamlbuild plugin, - many bugfixes, and - usage, performance, and documentation improvements. Bisect_ppx was originally forked to update and maintain Bisect's PPX mode, = with the OCaml community moving to PPX. Bisect_ppx does not have Bisect's Camlp4 dependency. We do not believe that the original Bisect is being actively maintained. Regards, Anton & Leonid P.S. If you are working on a project that uses Bisect_ppx, please let us kn= ow! [1]: https://github.com/sagotch/ocveralls [2]: https://coveralls.io/builds/4913198/source?filename=3Dsrc%2Fsyntax%2Fi= nstrumentPpx.ml