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 87D8C7FD92 for ; Fri, 10 Jun 2016 16:08:28 +0200 (CEST) IronPort-PHdr: 9a23:sMxZMhcYkbJHNo6gH6SaAfAblGMj4u6mDksu8pMizoh2WeGdxc6yZh7h7PlgxGXEQZ/co6odzbGG4ua/Bidevt6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcKMKFsXzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzawVAVV2FetxNJBwnD41neX4zt+n/xv+95nS2bJtHeTLYuWD3k4b09GzHyjyJSHjgl92efoMV7jKNd6EaooQBlxIjeaYqVNfxWcabUfNdcTm1ECJUCHxddC5+xOtNcR9EKOvxV+syk/wMD 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-f175.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.175; 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.175 as permitted sender) identity=mailfrom; client-ip=209.85.223.175; 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-f175.google.com) identity=helo; client-ip=209.85.223.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="antronbachin@gmail.com"; x-sender="postmaster@mail-io0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DNAADdyFpXfa/fVdFdgxGBA322IoUAgXoihXECgSk4FAEBAQEBAQEBEQEBCQsLCSEvgjCCFQEBAQMBEhEdARseAwELBgUEBw0qAgIhAhEBBQEcBhMih3MBAw8IAQ2fboExPjGLO4FqglkFh0QKGScNUoMpAQEBAQEBAQMBAQEBAQEBAQEBARQCAQUQiA4Igk6BIIEjgiqCVCuCLwWOYoRfhGo0hgSGKoF6gWmEUoJ7hWpGhziGLjCBDx6CMIISUAGKBwEBAQ X-IPAS-Result: A0DNAADdyFpXfa/fVdFdgxGBA322IoUAgXoihXECgSk4FAEBAQEBAQEBEQEBCQsLCSEvgjCCFQEBAQMBEhEdARseAwELBgUEBw0qAgIhAhEBBQEcBhMih3MBAw8IAQ2fboExPjGLO4FqglkFh0QKGScNUoMpAQEBAQEBAQMBAQEBAQEBAQEBARQCAQUQiA4Igk6BIIEjgiqCVCuCLwWOYoRfhGo0hgSGKoF6gWmEUoJ7hWpGhziGLjCBDx6CMIISUAGKBwEBAQ X-IronPort-AV: E=Sophos;i="5.26,450,1459807200"; d="scan'208,217";a="221947602" Received: from mail-io0-f175.google.com ([209.85.223.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jun 2016 16:08:27 +0200 Received: by mail-io0-f175.google.com with SMTP id m62so66607237iof.0 for ; Fri, 10 Jun 2016 07:08:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:mime-version:from:in-reply-to:date:message-id:references:to; bh=dzFNcGiC86JDY8mXczYIc2k1lb/GOqLG1Lkb+0PlXeQ=; b=azQDTSyFiVqQVHa33BWK7LMW2uP57c52kCWJPtPNQNXrlFdBD/wHjIFA94BF25uLsA 2Qz3hwLrbcLmc33MfVSDbpVOT+jAidh2purox8fi4ky7QT1itX9Q6q3A4rEZ4YuqEEcC kiyuIMmt8AxmtF2fzYfyWuLiJSgqMxtxiyVWb6g+sP07UWLx2JZNirp7MJtLpxyAqXWO 5qzaVqQ8wp2qsgYQ50g7Ifp9m4sEliLDVlrQOY3eeZBcA4oxjJ9u/kCpE8vdOZg1aTcR A1RJXTNWC64ADkJO+guWrST1IBdqMg7OF1pvOIRRmlpSPC4TUuUFWceCEfJ3e2P5Osro +qDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:mime-version:from:in-reply-to:date :message-id:references:to; bh=dzFNcGiC86JDY8mXczYIc2k1lb/GOqLG1Lkb+0PlXeQ=; b=FP621DZNEJnszaShiq2QNwbHDI7RkMGSyr/nlmX/JCQhRyTYMlFUZSGFJsurrDsYWC dcGfUsAM5yr220N09R87bTH7CbIg80q7T80pZnEOT7UerMhmeTREuxlUYo9n7naIqjkL cqUx+cEXxJAbembbzEQLmxwllTtiaxmUTsois36sL9opeb93Tti7y8bYbNZmmIfMqKl3 nentZ7lDlDNRX4JFfN75Qt/v97izANd7Cj9b2i4fP6ZsriSKBU6pBn7Hn7U2QcklvVU+ UWaTbSokLWb8lH0x1M+1jscxlfnSf2nAwVPbAqGjMr1uh2wjtnAD6qr/nm/wnP8pDs7w awdg== X-Gm-Message-State: ALyK8tI7G1efxV+rqrL40nUnK9Y6piu+f9KJmNhm6kfsnR67OPMpAPmgZCMG5Cp/n9Wuow== X-Received: by 10.107.132.144 with SMTP id o16mr4180772ioi.37.1465567706615; Fri, 10 Jun 2016 07:08:26 -0700 (PDT) Received: from ?IPv6:2601:240:c600:8bd0:8d52:5fff:85d0:3658? ([2601:240:c600:8bd0:8d52:5fff:85d0:3658]) by smtp.gmail.com with ESMTPSA id f189sm5601784ioe.44.2016.06.10.07.08.26 for (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 10 Jun 2016 07:08:26 -0700 (PDT) Content-Type: multipart/alternative; boundary="Apple-Mail=_97FF0763-2839-4917-A428-8FF61B6DA978" Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2070.6\)) From: Anton Bachin In-Reply-To: <27190B91-13B2-4DB6-8794-F72BCB3E9C64@gmail.com> Date: Fri, 10 Jun 2016 09:08:25 -0500 X-Mao-Original-Outgoing-Id: 487260505.544984-7fc50ec1489d886abc5601e8f6be9480 Message-Id: <1837176F-6E06-4179-B532-3E7E6636509E@gmail.com> References: <27190B91-13B2-4DB6-8794-F72BCB3E9C64@gmail.com> To: OCaml Mailing List X-Mailer: Apple Mail (2.2070.6) Subject: Re: [Caml-list] Bisect_ppx: removing report output formats, etc. --Apple-Mail=_97FF0763-2839-4917-A428-8FF61B6DA978 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 I would like to clarify that -combine-expr is not about combining multiple = output files as in bisect-ppx-report -html report *.out That is not being removed. -combine-expr is a separate feature that allows visitation counts of two or= more separate sets of *.out files to be manipulated, for example by subtra= cting them, to obtain a new report. Best, Anton > On Jun 10, 2016, at 08:46, Anton Bachin wrote: >=20 > Hello, >=20 > We are in the process of removing the following features from Bisect_ppx,= as we don=E2=80=99t believe they are used: >=20 > - combine expressions (reporter=E2=80=99s -combine-expr) > - XML output > - EMMA output > - =E2=80=9Cbisect=E2=80=9D output [1] > - point kinds (mentioned earlier [2]) >=20 > We would also like to remove =E2=80=9Cdump=E2=80=9D output, but we are us= ing it internally for testing. >=20 > Please let me know of any objections. >=20 > Best, > Anton >=20 >=20 > [1]: https://github.com/aantron/bisect_ppx/pull/106 > [2]: https://sympa.inria.fr/sympa/arc/caml-list/2016-06/msg00004.html --Apple-Mail=_97FF0763-2839-4917-A428-8FF61B6DA978 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
I = would like to clarify that -combine-expr is not about combining multiple ou= tput files as in

=   bisect-ppx-report -html report *.out

That is not being removed.

-combine-expr is a separate feature t= hat allows visitation counts of two or more separate sets of *.out files to= be manipulated, for example by subtracting them, to obtain a new report.

Best,
Anton

On Jun 10, 2016, at 08:46, Anton Bachin <antronbachin@gmail.com> wrot= e:

Hello,

We are in the process of removing the following feature= s from Bisect_ppx, as we don=E2=80=99t believe they are used:

- combine expressions (reporte= r=E2=80=99s -combine-expr)
- XML output
- EMMA output
- =E2=80=9Cbisect=E2=80=9D output= [1]
- point kinds (mentioned earlier [2])

We would also like to remove= =E2=80=9Cdump=E2=80=9D output, but we are using it internally for testing.=

Please let me kn= ow of any objections.

Best,
Anton

=

[1]: https://git= hub.com/aantron/bisect_ppx/pull/106
[2]: https://sympa.inria.fr/sympa/arc/caml-list/2016-06/msg00004.html

= --Apple-Mail=_97FF0763-2839-4917-A428-8FF61B6DA978--