From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 02697801CD for ; Thu, 17 Aug 2017 20:30:38 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=antronbachin@gmail.com; spf=Pass smtp.mailfrom=antronbachin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f195.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of antronbachin@gmail.com) identity=pra; client-ip=209.85.223.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of antronbachin@gmail.com designates 209.85.223.195 as permitted sender) identity=mailfrom; client-ip=209.85.223.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="antronbachin@gmail.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@mail-io0-f195.google.com) identity=helo; client-ip=209.85.223.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-io0-f195.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AdKaZOhBcFsEbdCtclaMTUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP77pcbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6lX71zMZGw3+OAxp?= =?us-ascii?q?Pay1X9eK14Xkn9y1rrr4agBMzB+0YLdzKhr+iQTKqoFCioJnLuM1ywDVinpOYe?= =?us-ascii?q?Vfg21ycwG9hRH5s+624Jlluw5ZsPIg8YYUWKPmZaM+R7VTDDUgG28w7czv8xLE?= =?us-ascii?q?SF3ctTMnTmwKn08QUED+5xbgU8K063Oiuw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BzAQD835VZf8PfVdFdHAEBBAEBCgEBF?= =?us-ascii?q?gEBAQMBAQEJAQEBgmaBLYEVniSLFoRoEIRjgxgOggQOIIlzQRYBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQkLCwgmMYIzBQEeAQWCfAYBGx4DEhBeEQEFASKKKgEDFQEPmjyDRT+OD?= =?us-ascii?q?gUBHIMJBYNkChknDVaDQAEBAQEBBQEBAQEBAQEBARcCAQUJAQiDFoICgy8rh1e?= =?us-ascii?q?CbgxhgjEFkRWBD4V3iC6HVIYhhWZnizeHIwJIkH+DDTSBFSYJgTIyISRwAQeCa?= =?us-ascii?q?oIEgjBYAYhQgVMBAQE?= X-IPAS-Result: =?us-ascii?q?A0BzAQD835VZf8PfVdFdHAEBBAEBCgEBFgEBAQMBAQEJAQE?= =?us-ascii?q?BgmaBLYEVniSLFoRoEIRjgxgOggQOIIlzQRYBAQEBAQEBAQEBARIBAQkLCwgmM?= =?us-ascii?q?YIzBQEeAQWCfAYBGx4DEhBeEQEFASKKKgEDFQEPmjyDRT+ODgUBHIMJBYNkChk?= =?us-ascii?q?nDVaDQAEBAQEBBQEBAQEBAQEBARcCAQUJAQiDFoICgy8rh1eCbgxhgjEFkRWBD?= =?us-ascii?q?4V3iC6HVIYhhWZnizeHIwJIkH+DDTSBFSYJgTIyISRwAQeCaoIEgjBYAYhQgVM?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.41,389,1498514400"; d="scan'208";a="287430600" Received: from mail-io0-f195.google.com ([209.85.223.195]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Aug 2017 20:30:37 +0200 Received: by mail-io0-f195.google.com with SMTP id m88so4451400iod.1 for ; Thu, 17 Aug 2017 11:30:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=hBKIGuhsPOmAb/Y4r0iur8zxTho7upu2nIipZZCJtvo=; b=tWO97TxBh6ufeAD4Iz00iIvVDUni8LIdlcaNiZa+M6G0/JIsUQ51CG2wMMv8uGKyp/ 6xLc59iHewQt0UXTgzK1cmbfMBZQHC42SkP8F/IsUJwTBnU9toiPvV8T8dubseUeh+K8 zf3F+7iFZakMYNN75yHQfoneXnION+vSna8k0WC4/QXiGkDdmmZ0ugzNPkcnplyc9OrA J1kDZK4oWiD6N68AJPMPcp5ai/9cNU/KM6CxWfM3j0rHVXZqaXvEotuqDab4A/7inyxs rsAB9X+QR/GTrf0wDG5nB5OZ87TmtElg/w3ra9PTUwT3uhDO9gGbf+S4NcduWVIsvrNN Ds1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=hBKIGuhsPOmAb/Y4r0iur8zxTho7upu2nIipZZCJtvo=; b=W4cVaBOb1S01XBJ09vMtVncSqwGWY09Mj6nBIJHg9vrePXd+b/nSXM4oJpuH9SdkBa /gWjOm6PbWgvZwTT7dvEOz202vZeewEWvr1SHPouTVh0WW0LFODIeW8SToafuMKqTDYo Npf5pGCz/3ituAAaWuRc0wotKPVnJpD2UoGUqV9CvWRvXcq7NkHkOM0cYBdOSxz4VPET wO665KBqwQVbgi+mOmNK04eiijOUZPf+O6i2WcW/FFv43dH03EQ6r0IIF9YFuRzNSBKZ YQmsL8UMd/H7ohhnCuz6kMNkq4juUCY/VtjqkG6Ji0yEHsrGAyVoaXUUrG+sdqJssM0z oP2Q== X-Gm-Message-State: AHYfb5jY9ziew/A+BA6kuUuM1dpcQ9fYxWKYFfYmg1ABQJmIMaBErpTH TH0gH5kg0+BS17Ao X-Received: by 10.107.57.135 with SMTP id g129mr5646055ioa.73.1502994635379; Thu, 17 Aug 2017 11:30:35 -0700 (PDT) Received: from ?IPv6:2601:240:c600:8bd0:512c:1bd:ce17:c9f7? ([2601:240:c600:8bd0:512c:1bd:ce17:c9f7]) by smtp.gmail.com with ESMTPSA id b203sm1727717iob.47.2017.08.17.11.30.33 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 17 Aug 2017 11:30:34 -0700 (PDT) From: Anton Bachin Content-Type: text/plain; charset=us-ascii X-Mao-Original-Outgoing-Id: 524687432.987858-a4f4ecd5831f0768846d2b022d88bb0f Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Message-Id: <0ED016A0-3D07-4BAE-A9FA-3A5F23F2E14E@gmail.com> Date: Thu, 17 Aug 2017 13:30:33 -0500 To: OCaml Mailing List X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] =?UTF-8?Q?=5BANN=5D_Bisect=5Fppx_1=2E3=2E0_=E2=80=93_?= =?UTF-8?Q?code_coverage_for_OCaml?= Greetings, We are pleased to announce release 1.3.0 of Bisect_ppx, the OCaml code coverage tool. Bisect_ppx generates nice reports, showing which parts of your code are not tested: https://github.com/aantron/bisect_ppx See the release changelog: https://github.com/aantron/bisect_ppx/releases/tag/1.3.0 This release improves compatibility with Jbuilder. Instructions are available here: https://github.com/aantron/bisect_ppx/blob/master/doc/advanced.md#Jbuilder We have also changed the license from GPL 3.0 to the considerably more permissive MPL 2.0. MPL allows Bisect_ppx to be incorporated into proprietary projects. Basically, the only thing users have to do is publish Bisect_ppx files if 1. they have been modified, and 2. they, or a project incorporating them, is being released. For publishing, it is sufficient to contribute back to the project, host a public fork (e.g. on GitHub), or simply include in your larger project, if that project is open-source. MPL 2.0 allows private use of modified Bisect_ppx. In practice, you generally wouldn't release code instrumented with Bisect_ppx anyway, so this means you can use Bisect_ppx as if it was under a typical fully-permissive license without worrying about any copyleft requirements. If you are a user of the Bisect_ppx Ocamlbuild plugin, you should depend on the new bisect_ppx-ocamlbuild OPAM package. It contains an ocamlfind package of the same name, which is a replacement for the current bisect_ppx.ocamlbuild. bisect_ppx.ocamlbuild will be removed in a future release. The Ocamlbuild plugin remains dedicated to the public domain. Happy testing! - The maintainers of Bisect