Re: [spring] [Srcomp] New drafts from SRCOMP design team
Ron Bonica <rbonica@juniper.net> Tue, 02 March 2021 17:09 UTC
Return-Path: <rbonica@juniper.net>
X-Original-To: spring@ietfa.amsl.com
Delivered-To: spring@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1])
by ietfa.amsl.com (Postfix) with ESMTP id CD1EB3A0962;
Tue, 2 Mar 2021 09:09:23 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.256
X-Spam-Level:
X-Spam-Status: No, score=-3.256 tagged_above=-999 required=5
tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.248, DKIM_SIGNED=0.1,
DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
HTML_MESSAGE=0.001, HTTPS_HTTP_MISMATCH=0.1, RCVD_IN_MSPIKE_H5=-1,
RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001,
URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key)
header.d=juniper.net header.b=U+/wQ6mn;
dkim=pass (1024-bit key)
header.d=juniper.net header.b=UqckONmj
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 aUVsvXOFUdoX; Tue, 2 Mar 2021 09:09:21 -0800 (PST)
Received: from mx0b-00273201.pphosted.com (mx0b-00273201.pphosted.com
[67.231.152.164])
(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
(No client certificate requested)
by ietfa.amsl.com (Postfix) with ESMTPS id 1CAB73A08F4;
Tue, 2 Mar 2021 09:09:21 -0800 (PST)
Received: from pps.filterd (m0108160.ppops.net [127.0.0.1])
by mx0b-00273201.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id
122H6YH1029342; Tue, 2 Mar 2021 09:09:13 -0800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net;
h=from : to : cc :
subject : date : message-id : references : in-reply-to : content-type :
mime-version; s=PPS1017; bh=Qcbx865WfMKaRtCPk91kGs8+6muJVTzkqY6YMvHN9v4=;
b=U+/wQ6mnMyOlZw6Wug827LYbKaVUKEVU8/7re5PMO+4OIPj6nHhyCshRXTLoLEPXtO+h
lZtGcSwSvuI+ZHSIHaf6+YY1zvBYoKuv7ykAFqJ/zGqOX3VFiZmVeIyh6pZ77g26/B2+
1T7FaRAkRM/LykaAUUCphqz7wp5yo7k4fgBH5G6pmjWoOK0DGNeMVGbjlFtCPdUQi1aj
lmDGruacR1zwUUinCmiNv1PsWiFhoARBBS1pQKCbJwPXj4e/qK+tzNzV16P5Lwv74WlU
Pj8KR+pF6sLayHre1lLursd0Q1XpUZqNGEVgoomAdwJOUltFpOxbcIS/lEa8bQCtLSY9 CA==
Received: from nam10-mw2-obe.outbound.protection.outlook.com
(mail-mw2nam10lp2109.outbound.protection.outlook.com [104.47.55.109])
by mx0b-00273201.pphosted.com with ESMTP id 371s2pr27v-1
(version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT);
Tue, 02 Mar 2021 09:09:13 -0800
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
b=J0Jdw+TUNWZInLafjvOdeL/x+LQrnM1IlyOiIpSCHRyRoyu18viSUZxUpdLxlO+5okvPRymxbB7GsYuPJm0na6u6e0ytaXeTdnD7T5FfKj/b9wlqfH4xhh4cr2F8E8BvsHmqinb7OEFpEijRsuBhvIznhlstG/OW//yveuM9uX3/LL6GK0wntroIt2zEuuXll5537Ux9s918WgUKil8Y2fL2o1AYeNjbUpmrKouOrDnT0srLCxutJlTOvsPWxa1u25qeyv7XFGMu198o4jwkn6QLJWRVH6Pxoazkhg8iL1mgzIaf7HEX7rlVFftSxBI7PUB9T8CkizFDklE0HbQLtw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
s=arcselector9901;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=Qcbx865WfMKaRtCPk91kGs8+6muJVTzkqY6YMvHN9v4=;
b=YSdmAQzr2DH3uNxBnQd3nmjciRHUrSbw8U/gqWF6YZ4kWCCXMvD81E1sXFiJ7urf6x7NzmiKctFh8v2l2YPDmYyWN0EpKUK6mhDKCbWSPXRzhbfdB7DkTliLGnOeKKzbxcVlSIk9wIpMzJrVLtPy7AHHGDdzzaKfYIG84I9ZTEmtZD1liTlpbH+HBxr7nN9Ta4xf6OVXcfwqm16RCsGm4jGzhELZhLwlAG2o1aKf4ZwximcBTkSTZDCqhlE+Ru+4kosqUXU9yOMPRAHMy699aijMV01WDobaCU7r8VMuwblo+2PFRh+OXV4XIxy5tpaVboGCPnQFG8DTWiPEu/w3Fg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
smtp.mailfrom=juniper.net; dmarc=pass action=none header.from=juniper.net;
dkim=pass header.d=juniper.net; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=juniper.net;
s=selector1;
h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
bh=Qcbx865WfMKaRtCPk91kGs8+6muJVTzkqY6YMvHN9v4=;
b=UqckONmjvEjs4nYfVTT1Hvnofm8FNqlMIh70XEfN7yg3YvWPOdF9ZhnD4BD2RKF96RqAKNz/DMlX4avjvUSITD1berdjlXvSrv6EYqvPiVASGZ6i6arAEH1KXgah2lUOE6BsHUKWqnikjdOs5sEQObPOMfIwCQ6YgC5gDw9KANY=
Received: from BYAPR05MB5318.namprd05.prod.outlook.com (2603:10b6:a03:7c::10)
by SJ0PR05MB7501.namprd05.prod.outlook.com (2603:10b6:a03:28f::21)
with Microsoft SMTP Server (version=TLS1_2,
cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3912.10; Tue, 2 Mar
2021 17:09:11 +0000
Received: from BYAPR05MB5318.namprd05.prod.outlook.com
([fe80::70bb:354c:fa8d:aec1]) by BYAPR05MB5318.namprd05.prod.outlook.com
([fe80::70bb:354c:fa8d:aec1%7]) with mapi id 15.20.3912.016; Tue, 2 Mar 2021
17:09:11 +0000
From: Ron Bonica <rbonica@juniper.net>
To: Weiqiang Cheng <chengweiqiang@chinamobile.com>, 'Rishabh Parekh'
<rishabhp@gmail.com>
CC: "srcomp@ietf.org" <srcomp@ietf.org>, 'SPRING WG List' <spring@ietf.org>
Thread-Topic: [Srcomp] [spring] New drafts from SRCOMP design team
Thread-Index: AQHXDGffdr+7n191IUSlqV/lRolW/apwMLIAgADC4XA=
Date: Tue, 2 Mar 2021 17:09:11 +0000
Message-ID: <BYAPR05MB531816E69C15FB4D5CF357F1AE999@BYAPR05MB5318.namprd05.prod.outlook.com>
References: <05ce01d70b9a$f1c38230$d54a8690$@com>
<CABjMoXYSiHbgNeXJExXiANhDtrw8h5i77+LyzBxLMF1GqpseFA@mail.gmail.com>
<0a2901d70f24$c15fcf80$441f6e80$@com>
In-Reply-To: <0a2901d70f24$c15fcf80$441f6e80$@com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
dlp-product: dlpe-windows
dlp-version: 11.5.0.60
dlp-reaction: no-action
msip_labels: MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Enabled=true;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SetDate=2021-03-02T17:09:09Z;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Method=Standard;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_Name=0633b888-ae0d-4341-a75f-06e04137d755;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_SiteId=bea78b3c-4cdb-4130-854a-1d193232e5f4;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_ActionId=933104aa-11cd-4b00-a3f9-d26d0bf29d3c;
MSIP_Label_0633b888-ae0d-4341-a75f-06e04137d755_ContentBits=2
authentication-results: chinamobile.com; dkim=none (message not signed)
header.d=none;chinamobile.com; dmarc=none action=none
header.from=juniper.net;
x-originating-ip: [173.79.122.226]
x-ms-publictraffictype: Email
x-ms-office365-filtering-ht: Tenant
x-ms-office365-filtering-correlation-id: 7d81b3e6-e1ae-44dc-6019-08d8dd9de60d
x-ms-traffictypediagnostic: SJ0PR05MB7501:
x-ms-exchange-minimumurldomainage: ietf.org#9488
x-microsoft-antispam-prvs: <SJ0PR05MB75016B4D81790494FD343F62AE999@SJ0PR05MB7501.namprd05.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:8882;
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: tj5mqfFshyhepDLDzNNqN+QVJJOL6eO7DDOATFFmFv5Qf6F22tK2weXKpQLBpv95NKj/LniupqK/7U8HuF7Lnmr4TnprtAWWBhtO+e/BsCw6hnzKHHpcICQQNHO0bYS35osb4F/Ab6X1lTidLbveXQ4srY9s6Ivr7oCmu5trkAVZXpaDza7rduGO/WlwF43sOpgqoPy1Ouub/zlw+WZZniFQ0v3v1fQ6PVK4zDgXPa/1v4J3SG2+wxfxXwR9zAqxnBSNxcKTVmtlRbQPHavcyz8Gk+BarlcrBhizKPYVwaFAvtjVgwy5CVvlr0eF9WKBTVOloRgctIhwpoKXdkUDTJNeeAJBdttmkqesZmyrXj7Toy0skggDum6S+coj+eUs4BzP+ZZbAhH3uN0Powx8tYOtTynKV6pGiZfR5Deydkimf5GmptZfeeNRPXdzp0mx06HpV3v4dnjkanm/TwS4zcgvVWucoEDQhOskxDlYUeSoDf15aCksKZgR8oNOpOnhV/qqWcxUyP2ZaMOemB0WwJYAri2hEZiEJHXwjiZOxOf7G5ImSu3orbebOSljKHheLRsc/bk51ttrC2My105L+lht+FyCkg82T5isgWPPNz0=
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
IPV:NLI; SFV:NSPM;
H:BYAPR05MB5318.namprd05.prod.outlook.com; PTR:; CAT:NONE;
SFS:(4636009)(396003)(39860400002)(136003)(346002)(376002)(366004)(166002)(52536014)(26005)(4326008)(86362001)(71200400001)(83380400001)(2906002)(316002)(966005)(76116006)(53546011)(33656002)(5660300002)(54906003)(66556008)(8676002)(66946007)(66446008)(64756008)(55016002)(8936002)(7696005)(66476007)(478600001)(186003)(6506007)(9686003)(110136005);
DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata: =?utf-8?B?cmd5dFlhT2pkcFE1V1VScWF2N1N5UjBUbXhoWlEzWHNZYlpzNVJqZGExUmVa?=
=?utf-8?B?R0ZNNmpQdFZwdDBTZ1NoODNoOW53WTZmYTVBYnFLUVgvTjQvNE5peEMza1lo?=
=?utf-8?B?c2lNdnRwcTNtM3BrdVRDa2d6QURVeWJydHllbDZwVFo1ZVNKazF0V3NGeXB3?=
=?utf-8?B?alF0MHU4Vkd1NFdPWnJqNW9aOVU5NjZlNlUva0tGSUJKRTFBTlNvNmRJV2xm?=
=?utf-8?B?MkxYVTRCYk52L010UTR2TTZ5UTZjelBleXBMdU5WcThPRDRDV3BKQUJEalMw?=
=?utf-8?B?QUx4eTJ3cm1pR3c1OFhFSDJJOWFaMWwyZ0FvN2tyNDBIS09ubzBpVndhRmtI?=
=?utf-8?B?Nm1Ua04xRkxmNVBsUXVYWnErSDlBemNraGdmZ05vanMxMzMrRGs0MVdPSzlF?=
=?utf-8?B?QWN0YXB6Yzkvc2c5QjhXUVRmMCsxYU1TT1ZOWUU0ZWtLNFF1T0pDQjlxTzBT?=
=?utf-8?B?YW9mMDZMbEh1aDltT0JiSytyL1FBT2tORlZ2NUZUVXJ6OUM3SE9LWWg3QnJV?=
=?utf-8?B?Mlh5VnZMODZsN1NYcEpxaWdvTnNDNEJHMzlSamh2T2xRL0E3WUlOYlZPOEdQ?=
=?utf-8?B?bVJNN3NXNEphMmFubkE4UnpkWlNOT28vU25oWXI0ckx5T1hwTEJDOGxmKzNu?=
=?utf-8?B?RE5TZnBqM2ljdWtQd2kxd3p3WEtvcy95R1dBdWcvbTc3S0dJdm0zSTVKaXVu?=
=?utf-8?B?ZW02YzFrcDIwVVFSbWJnckhnbSs1Zkx2dzdHaHdDd01OZWw0WlJKZkZRMFpz?=
=?utf-8?B?eWMxR2ZZczBaNlFITHNHeGtsNVpDUE9SYTFGZVFJcGRmNmpSb293TjlNUysy?=
=?utf-8?B?N1Z4QUhZWXdNWFR3TmFoUzJUazZZODZQWFZTZXJMeENHaDJZOXo0OHJJaEYr?=
=?utf-8?B?dzRvNHB2WWp1OXZsaHVoMW0zYkIwb29wRTZkcU9mYXk0T2Q2TnNzT0ZOSUlQ?=
=?utf-8?B?YVRLbUYreUIyYWo1QWFCa0U4MGRZL0xUK3h3c2k1WEFudG9UWXU4QXRRYlN1?=
=?utf-8?B?cjl0NkF2ZjJXMUF6UFVnZGFOU0RTQzBQcW9EMlRVZkRkMTEydW5mRnlSTzNP?=
=?utf-8?B?Y09FZjh1WTVJQlZGcEx0MWk1RDhKcDkrTlpZTTZQNnlQOWZZWFRkbm1nRThQ?=
=?utf-8?B?Yk4zd3VnVmtaTVNRd09RNTFNKy9yNURsZXNrOTlyamdJemt3T1FVZUptUWtz?=
=?utf-8?B?TzdCVFBCWG9YSzlpcUo3OHp6dkdGcGNuTDdaSDVPS1hTcTJXSk9Rakd3aStC?=
=?utf-8?B?cXNxUUdUcm41ZHBEY0VlMmVuVklERUQ2YWV5NDlQeWNzQ3hxZVJRMDJGdm5x?=
=?utf-8?B?SDdMdFJBemRWT2JXbWI2cUdWZlNhRDVSUTk4NjBzOFkvakpIcjRSYnpEbFBo?=
=?utf-8?B?cEhRaVlHbW50OEZtWXNBc0swUVIyVzAxdkNZRkZ4cjJBcmFzczN1V1VGZTYx?=
=?utf-8?B?VmUzbXB4Q21rampFWFRXYzI3WkhybWthWjBocENVYXduV0k4YVJNOUc4a3Y4?=
=?utf-8?B?TVgyS0I5Y2FjU3RRZEl2Vkx4VEloM0c0bkJQQ3dxRXdZSTdwdFR5OWkvckVn?=
=?utf-8?B?WWR1OSsySzlSY1hPMW5QQldDVk5QOHdzZndxbXJjOEs5SEROR2FOOEV4OVdO?=
=?utf-8?B?bC9aemI0dC9yY2FNR3FkT04waCtqOFFIK1B5a0NaNVhBOWE4clArTDRsMkxP?=
=?utf-8?B?R2dKQ2VCTWJoRmFTZ3lZM0lTOHRrZFVpcytTTHduTXVSZWZkRDJ3YWEvWHpX?=
=?utf-8?Q?oW/kZoT31N/kQxMqM+kbP10M89ZK+YsuQqJoHUq?=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative;
boundary="_000_BYAPR05MB531816E69C15FB4D5CF357F1AE999BYAPR05MB5318namp_"
MIME-Version: 1.0
X-OriginatorOrg: juniper.net
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: BYAPR05MB5318.namprd05.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 7d81b3e6-e1ae-44dc-6019-08d8dd9de60d
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Mar 2021 17:09:11.1365 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: bea78b3c-4cdb-4130-854a-1d193232e5f4
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: 3+lTfY4v2j08uzEwl8S5kl+Ntd1+qoNuXcAf0Hv0jX3SYv08d1nB8bqXgEaqMH28+44M+hZma4jcAEm1D6bTYA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: SJ0PR05MB7501
X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761
definitions=2021-03-02_08:2021-03-01,
2021-03-02 signatures=0
X-Proofpoint-Spam-Details: rule=outbound_spam_notspam policy=outbound_spam
score=0 clxscore=1011
impostorscore=0 bulkscore=0 mlxlogscore=999 phishscore=0
priorityscore=1501 adultscore=0 malwarescore=0 suspectscore=0
lowpriorityscore=0 mlxscore=0 spamscore=0 classifier=spam adjust=0
reason=mlx scancount=1 engine=8.12.0-2009150000
definitions=main-2103020131
Archived-At: <https://mailarchive.ietf.org/arch/msg/spring/MKMxl9FM7B3mwAbudubDoiib-e0>
Subject: Re: [spring] [Srcomp] New drafts from SRCOMP design team
X-BeenThere: spring@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Source Packet Routing in NetworkinG \(SPRING\)" <spring.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spring>,
<mailto:spring-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/spring/>
List-Post: <mailto:spring@ietf.org>
List-Help: <mailto:spring-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spring>,
<mailto:spring-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 02 Mar 2021 17:09:29 -0000
Rishabh,
Is Section 2 of the SR replication segment draft compliant with Section 2.7 of RFC 4291? Could it be brought into compliance by using the high order 16 bits that RFC 4291 recommends?
Ron
Juniper Business Use Only
From: Srcomp <srcomp-bounces@ietf.org> On Behalf Of Weiqiang Cheng
Sent: Tuesday, March 2, 2021 12:28 AM
To: 'Rishabh Parekh' <rishabhp@gmail.com>
Cc: srcomp@ietf.org; 'SPRING WG List' <spring@ietf.org>
Subject: Re: [Srcomp] [spring] New drafts from SRCOMP design team
[External Email. Be cautious of content]
Hi Rishabh,
Thanks for your comments.
It is good point, and DT will consider the it in.
B.R.
Weiqiang Cheng
发件人: spring [mailto:spring-bounces@ietf.org] 代表 Rishabh Parekh
发送时间: 2021年2月27日 01:50
收件人: Weiqiang Cheng
抄送: srcomp@ietf.org<mailto:srcomp@ietf.org>; SPRING WG List
主题: Re: [spring] New drafts from SRCOMP design team
Weiqiang,
Text quoted below from the SPRING charter indirectly covers Point-to-Multipoint requirement which is addressed by SR Replication Segment draft https://datatracker.ietf.org/doc/draft-ietf-spring-sr-replication-segment/<https://urldefense.com/v3/__https:/datatracker.ietf.org/doc/draft-ietf-spring-sr-replication-segment/__;!!NEt6yMaO-gk!VjURp3oglqwAJJ06ixqEz0o9WjgWaU6W5fQ7MthNrQdg-dWAsLJnab_Ce0i_WdUG$>
New types of segments mapping to forwarding behaviour (e.g., local
ingress replication, local forwarding resources, a pre-existing
replication structure) if needed for new usages.
For the Point-to-Multipoint compression requirement, what exactly is "multicast address" in the Metric? Is this an IPv6 multicast address? If so, it really does not conform to SRv6 data plane.
I would rather consider the SRv6 Replication SID, described in the latest version of SR Replication segment draft, to be the Metric for measuring P2MP requirement. Maybe we should also consider adding it to SRv6 Functionality Section 4.2.1 of the compression requirements draft.
-Rishabh
On Thu, Feb 25, 2021 at 9:25 AM Weiqiang Cheng <chengweiqiang@chinamobile.com<mailto:chengweiqiang@chinamobile.com>> wrote:
Hi All,
Two drafts have been submitted. Please review them and any comments are welcomed.
Compression requirement draft -04 version provided two more requirements:
https://www.ietf.org/archive/id/draft-srcompdt-spring-compression-requirement-04.txt<https://urldefense.com/v3/__https:/www.ietf.org/archive/id/draft-srcompdt-spring-compression-requirement-04.txt__;!!NEt6yMaO-gk!VjURp3oglqwAJJ06ixqEz0o9WjgWaU6W5fQ7MthNrQdg-dWAsLJnab_Ce1UWnkzI$>
Compression analysis draft -00 provided a skeleton for the analysis of 4 candidate proposals.
https://www.ietf.org/archive/id/draft-srcompdt-spring-compression-analysis-00.txt<https://urldefense.com/v3/__https:/www.ietf.org/archive/id/draft-srcompdt-spring-compression-analysis-00.txt__;!!NEt6yMaO-gk!VjURp3oglqwAJJ06ixqEz0o9WjgWaU6W5fQ7MthNrQdg-dWAsLJnab_Ce4mNqDYS$>
B.R.
Weiqiang
_______________________________________________
spring mailing list
spring@ietf.org<mailto:spring@ietf.org>
https://www.ietf.org/mailman/listinfo/spring<https://urldefense.com/v3/__https:/www.ietf.org/mailman/listinfo/spring__;!!NEt6yMaO-gk!VjURp3oglqwAJJ06ixqEz0o9WjgWaU6W5fQ7MthNrQdg-dWAsLJnab_Ce6GLiq7Z$>
- [spring] New drafts from SRCOMP design team Weiqiang Cheng
- Re: [spring] New drafts from SRCOMP design team Rishabh Parekh
- Re: [spring] New drafts from SRCOMP design team Weiqiang Cheng
- Re: [spring] [Srcomp] New drafts from SRCOMP desi… Ron Bonica
- Re: [spring] [Srcomp] New drafts from SRCOMP desi… Rishabh Parekh