Re: [quicwg/base-drafts] Formally verify the protocol (#3507)Re: [quicwg/base-drafts] Formally verify the protocol (#3507)
Lars Eggert
2020-03-10
quic-issues
/arch/msg/quic-issues/YiA2G9qW2rnennbaMfFa9U_CV8o/
2849119
1883853
Re: [quicwg/base-drafts] Formally verify the protocol (#3507)Re: [quicwg/base-drafts] Formally verify the protocol (#3507)
Lars Eggert
2020-03-10
quic-issues
/arch/msg/quic-issues/VkwfTBg-odYdFbz9HGiySP6OCss/
2849118
1883853
[quicwg/base-drafts] Formally verify the protocol (#3507)[quicwg/base-drafts] Formally verify the protocol (#3507)
Demi Obenour
2020-03-10
quic-issues
/arch/msg/quic-issues/uzTiY-pD94f65wvuDEOk2MIusSQ/
2849113
1883853
[quicwg/base-drafts] 834f2e: Script updating gh-pages from c6315601. [ci skip][quicwg/base-drafts] 834f2e: Script updating gh-pages from c6315601. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/izvdx0UBLJt8DUUOWnqAljgezfU/
2848996
1883815
Re: [quicwg/base-drafts] Justify or reconcile deviation from TCP TLP timeout calculation (#3260)Re: [quicwg/base-drafts] Justify or reconcile deviation from TCP TLP timeout calculation (#3260)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/C4v5545_TeS6KMXuanCIH8pbUOc/
2848995
1867713
Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/L6sdmCTH7jPyw5NHfyf02-l23mk/
2848994
1877632
Re: [quicwg/base-drafts] Safety issue during incipient persistent congestion episode (#3259)Re: [quicwg/base-drafts] Safety issue during incipient persistent congestion episode (#3259)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/AFHGJsQ8PzssR-oS31BF1giyk1I/
2848993
1867712
[quicwg/base-drafts][quicwg/base-drafts]
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/22pCqTp3eNBJHEtMHot16qjmyu4/
2848992
1883814
[quicwg/base-drafts] ba6b30: Update draft-ietf-quic-recovery.md[quicwg/base-drafts] ba6b30: Update draft-ietf-quic-recovery.md
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/IvYokPrxFvVwuIgpVt2GksoYH4g/
2848991
1883813
[quicwg/base-drafts] 8349a8: Script updating gh-pages from 41a816f9. [ci skip][quicwg/base-drafts] 8349a8: Script updating gh-pages from 41a816f9. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/luNFVG3dSgTpPnx4wQB15Sb7Vyo/
2848986
1883810
Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/fbw39_6SNvug1vFt-qfjMEyas64/
2848985
1883774
[quicwg/base-drafts][quicwg/base-drafts]
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/ZqyZyyM8C5RNjZQwqAjJNVpWtgk/
2848984
1883809
[quicwg/base-drafts] f761f8: Follow-up to Mirja's editorial PR[quicwg/base-drafts] f761f8: Follow-up to Mirja's editorial PR
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/AQtrHnJ7onUEFApQmxybQiLcc-Y/
2848983
1883808
[quicwg/base-drafts] protection-samples.js: add option to output ChaCha20-Poly1305 trace (#3506)[quicwg/base-drafts] protection-samples.js: add option to output ChaCha20-Poly1305 trace (#3506)
Daiki Ueno
2020-03-10
quic-issues
/arch/msg/quic-issues/0l3UGAbX1w8CS6_BAWdmUh7-bD0/
2848919
1883802
Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)
mirjak
2020-03-10
quic-issues
/arch/msg/quic-issues/J40dgpS9djKuSjEpVrDf5fd0BMM/
2848785
1883774
Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)
Lars Eggert
2020-03-10
quic-issues
/arch/msg/quic-issues/jT4XnyoLf-M44llyXyGi2KGxy8Y/
2848784
1877632
Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)Re: [quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/ucHGLBLzsAp9Ijo_YoQeKQBUauw/
2848777
1883774
[quicwg/base-drafts] e4438d: Script updating gh-pages from f761f8b5. [ci skip][quicwg/base-drafts] e4438d: Script updating gh-pages from f761f8b5. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/ymbQ2zg1HHTrAwCOK-LkE6bRRq4/
2848776
1883775
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/5lIFImy2OY_3WO6nX5Tn6qTFDSw/
2848775
1881495
[quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)[quicwg/base-drafts] Follow-up to Mirja's editorial PR (#3505)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/PdjlBrnrt-vzSHj59Q_HpnaKOQc/
2848774
1883774
[quicwg/base-drafts] dd864d: Script updating issues at 2020-03-10T08:20:19Z. [c...[quicwg/base-drafts] dd864d: Script updating issues at 2020-03-10T08:20:19Z. [c...
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/NpnwvaZv1LVsOq_qgklpClOQfEk/
2848773
1883773
[quicwg/base-drafts] f761f8: Follow-up to Mirja's editorial PR[quicwg/base-drafts] f761f8: Follow-up to Mirja's editorial PR
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/sqo9V2I86cSBQ0WQiFU1KQP7eEk/
2848772
1883772
[quicwg/base-drafts] 577426: Script updating gh-pages from c8128f2a. [ci skip][quicwg/base-drafts] 577426: Script updating gh-pages from c8128f2a. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/yocJkudn7YTm76dggQMFE0NF-fk/
2848771
1883771
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/DqlOu-kiReBfY79z0EzGhEEGu5o/
2848770
1881495
[quicwg/base-drafts] b15857: Editorial proposed changes for cc section[quicwg/base-drafts] b15857: Editorial proposed changes for cc section
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/vA9YYi-59Kxdfl018TLz33v0wCc/
2848769
1883770
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/y4ApzCZltRRYiw4UzAjnw14-4Nk/
2848764
1881495
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/4V-fMHZgz074DyXNpnaNZZKHubQ/
2848759
1881495
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/2CU4H79bscA0A9VIVsirX2zrRwA/
2848758
1881495
Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)Re: [quicwg/base-drafts] Editorial proposed changes for cc section (#3491)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/iCDRTtcBGAecYqjWGESH9zumLco/
2848757
1881495
Re: [quicwg/base-drafts] Clarify section on negotiating connection IDs (#3349)Re: [quicwg/base-drafts] Clarify section on negotiating connection IDs (#3349)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/0QVSU_Y6r1UHosiLLLFNJGAtFbY/
2848633
1874269
[quicwg/base-drafts] 4a084d: Script updating gh-pages from d2ce4237. [ci skip][quicwg/base-drafts] 4a084d: Script updating gh-pages from d2ce4237. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/-H0yhbbsKi-Jj-J44B6-XOGQ1EU/
2848596
1883724
Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/gwfxVFTlOBHVXRkjTlLMvOB5IpY/
2848595
1877632
[quicwg/base-drafts] d2ce42: Update draft-ietf-quic-recovery.md[quicwg/base-drafts] d2ce42: Update draft-ietf-quic-recovery.md
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/XTNxkQqRHp8eEQAn4Bw7rtH7vzA/
2848594
1883723
[quicwg/base-drafts] e5ad30: Script updating gh-pages from 9546ff24. [ci skip][quicwg/base-drafts] e5ad30: Script updating gh-pages from 9546ff24. [ci skip]
Martin Thomson
2020-03-10
quic-issues
/arch/msg/quic-issues/d-JMU4r9e6DUjGOu_lq-LizzCR4/
2848592
1883721
Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)Re: [quicwg/base-drafts] Document TCP RTO vs QUIC PTO (#3441)
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/1GUr9DJ85rDJYOAkaUxA2kVRF7s/
2848591
1877632
[quicwg/base-drafts] 9546ff: Wordsmithing[quicwg/base-drafts] 9546ff: Wordsmithing
ianswett
2020-03-10
quic-issues
/arch/msg/quic-issues/GbBVFqThQ8kq3R7AR1V5YZmshQs/
2848590
1883720
Re: [quicwg/base-drafts] Early CONNECTION_CLOSE fixes (#3440)Re: [quicwg/base-drafts] Early CONNECTION_CLOSE fixes (#3440)
David Schinazi
2020-03-09
quic-issues
/arch/msg/quic-issues/dUaLipNuTwa2rJSpMudY38B5Y6Y/
2848509
1877339
[quicwg/base-drafts] 857f56: Script updating gh-pages from 95791fc5. [ci skip][quicwg/base-drafts] 857f56: Script updating gh-pages from 95791fc5. [ci skip]
Martin Thomson
2020-03-09
quic-issues
/arch/msg/quic-issues/8h5Wmrh2ZEUahauiiX5YGX60POA/
2848333
1883573
Re: [quicwg/base-drafts] Which DCID do Handshake retransmissions use? (#3348)Re: [quicwg/base-drafts] Which DCID do Handshake retransmissions use? (#3348)
Jana Iyengar
2020-03-09
quic-issues
/arch/msg/quic-issues/Ud7qzM6e0Kof7v5RhyHYwTpyvyM/
2848332
1874197
Re: [quicwg/base-drafts] Clarify section on negotiating connection IDs (#3349)Re: [quicwg/base-drafts] Clarify section on negotiating connection IDs (#3349)
Jana Iyengar
2020-03-09
quic-issues
/arch/msg/quic-issues/fWT8WMFpcPpoTTc7okcQVUnHb7s/
2848325
1874269