IETF Logo Mail Archive

Re: [quicwg/base-drafts] Formal analysis of the protocol (#1874)

Martin Thomson <notifications@github.com> Wed, 30 January 2019 02:35 UTC

Return-Path: <noreply@github.com>
X-Original-To: quic-issues@ietfa.amsl.com
Delivered-To: quic-issues@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9D0AE1310FE for <quic-issues@ietfa.amsl.com>; Tue, 29 Jan 2019 18:35:15 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -10.935
X-Spam-Level:
X-Spam-Status: No, score=-10.935 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-4.553, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_IMAGE_ONLY_24=1.618, HTML_MESSAGE=0.001, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_HI=-5, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=github.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NhMGATFSpMWG for <quic-issues@ietfa.amsl.com>; Tue, 29 Jan 2019 18:35:14 -0800 (PST)
Received: from out-7.smtp.github.com (out-7.smtp.github.com [192.30.252.198]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id E80CA1310FA for <quic-issues@ietf.org>; Tue, 29 Jan 2019 18:35:13 -0800 (PST)
Date: Tue, 29 Jan 2019 18:35:13 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=github.com; s=pf2014; t=1548815713; bh=vRmZptNO8wPS3raeqwX+JbvPZNfwf0Kemq3nfSU8U0w=; h=Date:From:Reply-To:To:Cc:In-Reply-To:References:Subject:List-ID: List-Archive:List-Post:List-Unsubscribe:From; b=kwBuSdbhT2NZw1E711HvyTsCx41JiOp49gE5RCfK1c/zvxCYK/n4GzuhKUjKsa0mS AVlv0/TJ7TNUJhXX9fgXn0KQ0L56JPitpvkVWQV3hIWhcihDxg/qGyKCT9qMUgcNG5 JwW2ghacr+pg/YHNc2pmHef76Xgq4dewL09IZxpk=
From: Martin Thomson <notifications@github.com>
Reply-To: quicwg/base-drafts <reply+0166e4abcf2d33e2cd1adbe3b7806be140b1dd451338bdf992cf000000011868cf6192a169ce16215e5e@reply.github.com>
To: quicwg/base-drafts <base-drafts@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <quicwg/base-drafts/issues/1874/458788779@github.com>
In-Reply-To: <quicwg/base-drafts/issues/1874@github.com>
References: <quicwg/base-drafts/issues/1874@github.com>
Subject: Re: [quicwg/base-drafts] Formal analysis of the protocol (#1874)
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="--==_mimepart_5c510d614709a_3113ff7932d45b8976e8"; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Precedence: list
X-GitHub-Sender: martinthomson
X-GitHub-Recipient: quic-issues
X-GitHub-Reason: subscribed
X-Auto-Response-Suppress: All
X-GitHub-Recipient-Address: quic-issues@ietf.org
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic-issues/USb85odp8afaH_LD6Dln6qNbFco>
X-BeenThere: quic-issues@ietf.org
X-Mailman-Version: 2.1.29
List-Id: Notification list for GitHub issues related to the QUIC WG <quic-issues.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic-issues>, <mailto:quic-issues-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic-issues/>
List-Post: <mailto:quic-issues@ietf.org>
List-Help: <mailto:quic-issues-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic-issues>, <mailto:quic-issues-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 30 Jan 2019 02:35:16 -0000

Tokyo conclusion: this is clearly desirable, and there is some interest from some people in doing the work.  People are generally supportive of the work and will happily contribute.  However, the working group won't spend additional time on this and won't let it block publication.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/quicwg/base-drafts/issues/1874#issuecomment-458788779

v2.23.0 | Report a Bug | By Email