[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 9b / 3de555f9f48e5c3ee45ef31f79280c8ad14714
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 07 May 2020 19:48:55 +0100
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-soc.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jWlZm-0002Pb-IX; Thu, 07 May 2020 19:48:54 +0100
8 Received: from mailout1.hostsharing.net ([83.223.95.204])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
10 (Exim 4.89) (envelope-from <libre-soc@platen-software.de>)
11 id 1jWlZl-0002PV-Dk
12 for libre-riscv-dev@lists.libre-riscv.org; Thu, 07 May 2020 19:48:53 +0100
13 Received: from h20.hostsharing.net (unknown [83.223.95.236])
14 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
15 (Client CN "*.hostsharing.net",
16 Issuer "COMODO RSA Domain Validation Secure Server CA" (not verified))
17 by mailout1.hostsharing.net (Postfix) with ESMTPS id 05403100368C3
18 for <libre-riscv-dev@lists.libre-riscv.org>;
19 Thu, 7 May 2020 20:48:53 +0200 (CEST)
20 Received: from anna (p57B6D14A.dip0.t-ipconnect.de [87.182.209.74])
21 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
22 (No client certificate requested)
23 by h20.hostsharing.net (Postfix) with ESMTPSA id A78EE114DF9
24 for <libre-riscv-dev@lists.libre-riscv.org>;
25 Thu, 7 May 2020 20:48:52 +0200 (CEST)
26 Date: Thu, 7 May 2020 20:48:51 +0200
27 From: Tobias Platen <libre-soc@platen-software.de>
28 To: libre-riscv-dev@lists.libre-riscv.org
29 Message-Id: <20200507204851.8f5f5a6260f36a8125555932@platen-software.de>
30 In-Reply-To: <1e472501-2473-6be6-f959-8c1806d7c37a@gmail.com>
31 References: <CAPweEDzFVoyxLpGK+9=nEniSOerHd469HQSM7qUXZ65Q6BWnbg@mail.gmail.com>
32 <1e472501-2473-6be6-f959-8c1806d7c37a@gmail.com>
33 X-Mailer: Sylpheed 3.7.0 (GTK+ 2.24.32; powerpc64le-unknown-linux-gnu)
34 Mime-Version: 1.0
35 Subject: Re: [libre-riscv-dev] daily kan-ban 07may2020 update
36 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
37 X-Mailman-Version: 2.1.23
38 Precedence: list
39 List-Id: Libre-RISCV General Development
40 <libre-riscv-dev.lists.libre-riscv.org>
41 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
42 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
43 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
44 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
45 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
46 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
47 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
48 Reply-To: Libre-RISCV General Development
49 <libre-riscv-dev@lists.libre-riscv.org>
50 Content-Type: text/plain; charset="utf-8"
51 Content-Transfer-Encoding: base64
52 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
53 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
54
55 T24gVGh1LCA3IE1heSAyMDIwIDE0OjI1OjE0IC0wNDAwCk1pY2hhZWwgTm9sYW4gPG10bm9sYW4y
56 NjQwQGdtYWlsLmNvbT4gd3JvdGU6CgpUb2RheSBJIHdpbGwgaGF2ZSBhIHNob3J0IGxvb2sgYXQg
57 dGhlIGNoYW5nZXMgZnJvbSB0aGUgbGFzdCBmZXcgZGF5cy4gCgpUb2JpYXMKCj4gSSdtIGNvbnRp
58 bnVpbmcgd29ya2luZyBvbiB0aGUgcG93ZXJfcHNldWRvIHNpbXVsYXRvciwgSSB0aGluayBJIGhh
59 dmUgdGhlIAo+IGNvbmRpdGlvbiByZWdpc3RlcnMgd29ya2luZyBub3cuIEkgdGhpbmsgY2Fycnkg
60 YW5kIG92ZXJmbG93IGhhbmRsaW5nIGlzIAo+IG5leHQuCj4gCj4gLS1NaWNoYWVsCj4gCj4gCj4g
61 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KPiBsaWJyZS1y
62 aXNjdi1kZXYgbWFpbGluZyBsaXN0Cj4gbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2
63 Lm9yZwo+IGh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJy
64 ZS1yaXNjdi1kZXYKCgotLSAKVG9iaWFzIFBsYXRlbiA8bGlicmUtc29jW2F0XXBsYXRlbi1zb2Z0
65 d2FyZVtkb3RdZGU+CgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
66 X19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5s
67 aWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3Rp
68 bmZvL2xpYnJlLXJpc2N2LWRldgo=
69