[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 72 / 623b52d03d83bc81450ded00f8a80eafc5f21c
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Fri, 13 Mar 2020 14:39:21 +0000
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-riscv.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jClT6-0003bH-TT; Fri, 13 Mar 2020 14:39:20 +0000
8 Received: from mail-bn8nam11on2102.outbound.protection.outlook.com
9 ([40.107.236.102] helo=NAM11-BN8-obe.outbound.protection.outlook.com)
10 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
11 (Exim 4.89) (envelope-from <yimmanuel3@gatech.edu>)
12 id 1jClT4-0003bB-QC
13 for libre-riscv-dev@lists.libre-riscv.org; Fri, 13 Mar 2020 14:39:19 +0000
14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
15 b=M9rbHkAo2+bywpw/DeHOglwBDNKG5ZGxlqcI7mV0PrpGzjms8kiYcv3Hchbl9dMg/e7kwu03/EIaIPglYtFp9XARPMGYal4cEVqKo+L2BVd5MYLBQ/f4RG21rRcnqIyJDoiA6wf78xnVEjbSWKJ9xiCX9jNOMZleSCdKCr7BbXB8J8eL340aipxeNNhgE6TY0O6xPOQ4toDeLbskjATgxtOezLtcQI2H8G5dv793q1Wtt8pcTKxcih7DXdU/hl98ZgNRT97x+yB6Sna2NINljrU5tr3n/nPzlm8icejcdpVpH9vl3eILUm30Mt0H0xRC1M1Rh54+40wtgzUsMLRoMw==
16 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
17 s=arcselector9901;
18 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
19 bh=qp7x1hwYI+2a8UMML/0sQhUs2T/2nc3LY3HPcpsuqtE=;
20 b=QD+JWgjJTtmmIhn5RROGv5HFa1cX6eON3awgjl9NWvNDuhvt4mh9qbX72HY/ECX98no9VodaWAhYbJBcev50h4NFSRKA3qUiT8gDdEiWwpbeHtFzXgNuqWiJoS+F19fqfYVNZQgr1fw7uJdIp35A2J+S/8pkNcfwp94C6RKH4siN49Ti7rVeW90rc9he7aL/m/3T+oDNOsN6k8yAEBz82KIv1uz7MBKP9V/7C1ojg/YTxziy+ee+vLmiwhwyTllTveDklvzfaTtI/cVfk4zSHYr3KDQXje8+JqYhXzr5GjHz6MYKwe/wKSYkAwPaI/WOVTiu2l4jmvnIlf/rZtwRIw==
21 ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
22 smtp.mailfrom=gatech.edu; dmarc=pass action=none header.from=gatech.edu;
23 dkim=pass header.d=gatech.edu; arc=none
24 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gatech.edu;
25 s=selector1;
26 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
27 bh=qp7x1hwYI+2a8UMML/0sQhUs2T/2nc3LY3HPcpsuqtE=;
28 b=StJGvz6Qip1SP6Vs7LYFpAViGPVnuckX7c8GEUPmZ0pSJJB/b2XVDJ30gIjiLqCs9603EaSYLxTTFD9ifgPQDW1EqYvy8faw/RbHPZ0aKTrGJyMbug8DekKJ01ppX9ikrT4B/C5dKIpUsdk4u+r8G5Xoh6wrnqtp3Lvei+BEx2w=
29 Received: from BL0PR07MB3908.namprd07.prod.outlook.com (2603:10b6:207:3f::14)
30 by BL0PR07MB5426.namprd07.prod.outlook.com (2603:10b6:208:4c::27)
31 with Microsoft SMTP Server (version=TLS1_2,
32 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2793.17; Fri, 13 Mar
33 2020 14:39:17 +0000
34 Received: from BL0PR07MB3908.namprd07.prod.outlook.com
35 ([fe80::d040:4516:8c:de63]) by BL0PR07MB3908.namprd07.prod.outlook.com
36 ([fe80::d040:4516:8c:de63%5]) with mapi id 15.20.2814.018; Fri, 13 Mar 2020
37 14:39:17 +0000
38 From: "Immanuel, Yehowshua U" <yimmanuel3@gatech.edu>
39 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
40 Thread-Topic: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V
41 SoC: call for participation
42 Thread-Index: AQHV+NDW1dGA2/XVHU+0V12dzGWNfKhFtZOAgACb4wCAAEc/AA==
43 Date: Fri, 13 Mar 2020 14:39:16 +0000
44 Message-ID: <B6790E5E-1403-425F-89AC-7EB126AECEBD@gatech.edu>
45 References: <CAPweEDxP5TqB5Tn8_D0t8TCUTBF2+zSBrDRgVpe=0hRrcYtTmw@mail.gmail.com>
46 <CAPweEDwWtgCXscytqhzWRo_Jdt9qvYF8DgKBy6NQXYjw8b9_JQ@mail.gmail.com>
47 <3EE6425C-2B66-4D76-A434-82D563898860@gatech.edu>
48 <CAPweEDxLimY-mnP4qnkC=SPXE5JHUz_Lm5Y7rHm5x5u6h0rPdQ@mail.gmail.com>
49 In-Reply-To: <CAPweEDxLimY-mnP4qnkC=SPXE5JHUz_Lm5Y7rHm5x5u6h0rPdQ@mail.gmail.com>
50 Accept-Language: en-US
51 Content-Language: en-US
52 X-MS-Has-Attach:
53 X-MS-TNEF-Correlator:
54 x-mailer: Apple Mail (2.3608.60.0.2.5)
55 authentication-results: spf=none (sender IP is )
56 smtp.mailfrom=yimmanuel3@gatech.edu;
57 x-originating-ip: [2610:148:1f00:1000:c92d:a33a:a77b:9531]
58 x-ms-publictraffictype: Email
59 x-ms-office365-filtering-correlation-id: ed6de3f7-37b9-4a52-32dc-08d7c75c4eef
60 x-ms-traffictypediagnostic: BL0PR07MB5426:
61 x-microsoft-antispam-prvs: <BL0PR07MB5426FA70407947B42C9B5E60ECFA0@BL0PR07MB5426.namprd07.prod.outlook.com>
62 x-gt-tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
63 x-ms-oob-tlc-oobclassifiers: OLM:792;
64 x-forefront-prvs: 034119E4F6
65 x-forefront-antispam-report: SFV:NSPM;
66 SFS:(10019020)(4636009)(346002)(376002)(39860400002)(136003)(396003)(366004)(199004)(76116006)(2906002)(316002)(66946007)(64756008)(5660300002)(66476007)(786003)(36756003)(2616005)(66446008)(6506007)(6512007)(66556008)(6486002)(8936002)(71200400001)(478600001)(86362001)(75432002)(8676002)(81156014)(6916009)(81166006)(558084003)(33656002)(186003)(82953001);
67 DIR:OUT; SFP:1102; SCL:1; SRVR:BL0PR07MB5426;
68 H:BL0PR07MB3908.namprd07.prod.outlook.com; FPR:; SPF:None; LANG:en;
69 PTR:InfoNoRecords; A:1;
70 received-spf: None (protection.outlook.com: gatech.edu does not designate
71 permitted sender hosts)
72 x-ms-exchange-senderadcheck: 1
73 x-microsoft-antispam: BCL:0;
74 x-microsoft-antispam-message-info: Ba5iv9GrJ/dCOI+wRGNLYgwm4UysLmNI22oj1kU7x1IraVB3E1VHkkQXY7naWM9WHUWFiYb4acSv3t2UQ1k8CGqyExZltuzJMnG5X8SZvsjpOFPADJ8dUoj89tQYAOJFJaJfWuMWlLw7NX+usDmjiemRLTjvl0iHg85WFnijzbU37TXpB+9Ycn2hBNMl8t5pPCo8iBRVv6QtTRvAmTMLOh/w3mFRWhtT88HdczXvYy9Epyh+yheHOpk7fTHN2fsS9XBma1lLMzCxTGe5g4oaYA0szhCZmHyxf17kKbXfsN+z6gNI8/CzXRANE5a2/JGr07P3/syDJfLUvDaGU/tyacJFqfJKmXqLUvEip7672dA6YE4SlwOuzzsEMITZd7klwJNwbvtwsE01PUrmjy6qMaMXjpcirDnI4jO8cphBspy7HL7Of2FPHB4yJbxGVhDDimwVUlECRG0nA4zO7F0CW8Gb5/H2YeMTfMZoSacOw5KLxrinA29sgCKsIjp+wquG
75 x-ms-exchange-antispam-messagedata: 600TV+gERbHR+C3Rp2PK7nKPmJIc/QUCCQipUbtadsxidxVFxKJ+qp6hoN7OUICuOQz2FrdduQbIMK4R+FvFWH8m4Nssfsbq3KzNyoLSDpV7N2mgCdBq7cWcJWRHrmjhhsZTB79xgim1O/WpkYkf2jGg2um0rVE4lUeBX6rmxANqQ3vDDeNMHrQ7w6DWLwlP4MUZKvHHdl6N77FTVWS6rQ==
76 x-ms-exchange-transport-forked: True
77 Content-ID: <7F5F3240F4CAF64AB9AC109E20525BCC@namprd07.prod.outlook.com>
78 MIME-Version: 1.0
79 X-OriginatorOrg: gatech.edu
80 X-MS-Exchange-CrossTenant-Network-Message-Id: ed6de3f7-37b9-4a52-32dc-08d7c75c4eef
81 X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Mar 2020 14:39:16.9763 (UTC)
82 X-MS-Exchange-CrossTenant-fromentityheader: Hosted
83 X-MS-Exchange-CrossTenant-id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
84 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
85 X-MS-Exchange-CrossTenant-userprincipalname: q/PGNYDsZ/Kf59+qI7/IanGfUx8nDuTMaYf0MqcXDLM5oiDAvJwW/+lPZrV6jY7O4RhT2fKLPyofgdvRD3c7HA==
86 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL0PR07MB5426
87 Subject: Re: [libre-riscv-dev] NLNet Funding Proposals for the Libre RISC-V
88 SoC: call for participation
89 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
90 X-Mailman-Version: 2.1.23
91 Precedence: list
92 List-Id: Libre-RISCV General Development
93 <libre-riscv-dev.lists.libre-riscv.org>
94 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
95 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
96 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
97 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
98 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
99 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
100 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
101 Reply-To: Libre-RISCV General Development
102 <libre-riscv-dev@lists.libre-riscv.org>
103 Content-Type: text/plain; charset="utf-8"
104 Content-Transfer-Encoding: base64
105 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
106 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
107
108 Pj4+ICJ3ZSBkb24ndCBuZWVkIHBlcm1pc3Npb24gdG8gb3duIG91ciBvd24gaGFyZHdhcmXigJ0u
109 DQo+PiANCj4+IE9vb2gNCj4gDQo+IGhhaGEsIGkgdGFrZSBpdCB5b3UgbGlrZSB0aGF0IG9uZT8g
110 IHNpbXBsZSBhbmQgY3V0dGluZywgaXNuJ3QgaXQ/DQo+IA0KDQpZZXMuIA0KV2UgYXJlIExpYnJl
111 U29jaWV0eSAtIFdlIERvbid0IE5lZWQgUGVybWlzc2lvbiB0byBPd24gT3VyIE93biBIYXJkd2Fy
112 ZQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1y
113 aXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5v
114 cmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJp
115 c2N2LWRldgo=