[libre-riscv-dev] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed
[libre-riscv-dev.git] / 23 / 703e1039c5c4ea1c65deba72f720dc4f423aec
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 13 May 2020 14:56:52 +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 1jYrsR-0002xp-RM; Wed, 13 May 2020 14:56:51 +0100
8 Received: from mailout2.hostsharing.net ([83.223.78.233])
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 1jYrsP-0002xe-2F
12 for libre-riscv-dev@lists.libre-riscv.org; Wed, 13 May 2020 14:56:49 +0100
13 Received: from h20.hostsharing.net (h20.hostsharing.net
14 [IPv6:2a01:37:1000::53df:5fec:0])
15 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
16 (Client CN "*.hostsharing.net",
17 Issuer "COMODO RSA Domain Validation Secure Server CA" (not verified))
18 by mailout2.hostsharing.net (Postfix) with ESMTPS id 8000310189B5F
19 for <libre-riscv-dev@lists.libre-riscv.org>;
20 Wed, 13 May 2020 15:56:48 +0200 (CEST)
21 Received: from anna (p57B6D14A.dip0.t-ipconnect.de [87.182.209.74])
22 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits))
23 (No client certificate requested)
24 by h20.hostsharing.net (Postfix) with ESMTPSA id 4AE7B798812
25 for <libre-riscv-dev@lists.libre-riscv.org>;
26 Wed, 13 May 2020 15:56:48 +0200 (CEST)
27 Date: Wed, 13 May 2020 15:56:47 +0200
28 From: Tobias Platen <libre-soc@platen-software.de>
29 To: libre-riscv-dev@lists.libre-riscv.org
30 Message-Id: <20200513155647.d30fe7986374bed381ba8360@platen-software.de>
31 In-Reply-To: <CAPweEDz8rcJ7ENbJS5tk3pCs7TDSPx11=7cOPFwxRaTBbtW_wg@mail.gmail.com>
32 References: <CAPweEDz8rcJ7ENbJS5tk3pCs7TDSPx11=7cOPFwxRaTBbtW_wg@mail.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 update 13may2020
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 T24gV2VkLCAxMyBNYXkgMjAyMCAxMToyODoyNSArMDEwMApMdWtlIEtlbm5ldGggQ2Fzc29uIExl
56 aWdodG9uIDxsa2NsQGxrY2wubmV0PiB3cm90ZToKCj4geWVzdGVyZGF5IGkgc3RhcnRlZCBvbiBp
57 bnRlZ3JhdGluZyB0aGUgTERTVENvbXBVbml0IGludG8gdGhlCj4gc2NvcmVib2FyZCBhbmQgaW1t
58 ZWRpYXRlbHkgcmFuIGludG8gYSBicmljayB3YWxsIGluIHRoZSBmb3JtIG9mIHRoZQo+IGFkZHJl
59 c3MtcmVxdWVzdC9yZWxlYXNlIHNpZ25hbGxpbmcuICB3aGVuIGdvX2FkZHIgaXMgcmFpc2VkIChp
60 bgo+IHJlc3BvbnNlIHRvIHJlcV9hZGRyKSwgdGhlIExEU1RDb21wVW5pdCBpcyBzdXBwb3NlZCB0
61 byBkcm9wIHJlcV9hZGRyCj4gb25lIGN5Y2xlIGxhdGVyOiBpbnN0ZWFkIGl0IHN0YXlzIGhpZ2gu
62 Cj4gCj4gaSBhbHNvIGludmVzdGlnYXRlZCBtaWNyb3dhdHQgdG8gZmluZCBvdXQgd2hhdCB0aGUg
63 aGVjayBpcyBnb2luZyBvbgo+IHdpdGggdGhlIHJlZ2lzdGVyLW9yZGVyLXN3YXBwaW5nLiAgdHVy
64 bnMgb3V0IHRoYXQgZGlmZmVyZW50IGNsYXNzZXMgb2YKPiBvcGVyYXRpb25zIChsb2dpY2FsLCBy
65 b3RhdGUsIGFyaXRoKSBoYXZlIGRpZmZlcmVudCBvcmRlcmluZy4gIHdoeT8gd2hvCj4ga25vd3Mu
66 Cj4gCj4gdG9kYXkgaSB3aWxsIGNvbnRpbnVlIHdvcmtpbmcgdGhyb3VnaCB0aGUgYWRkcmVzcy1u
67 ZWdvdGlhdGlvbiBpbiBMRFNUQ29tcFVuaXQuCj4gCj4gbC4KPiAKPiBfX19fX19fX19fX19fX19f
68 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo+IGxpYnJlLXJpc2N2LWRldiBtYWlsaW5n
69 IGxpc3QKPiBsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCj4gaHR0cDovL2xp
70 c3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgoKSSd2
71 ZSBsb29rZWQgaW50byB0aGUgc29jL3NyYy9zb2MvZGVjb2Rlci9pc2EgYW5kIHNyYy9zb2MvYWx1
72 LyBkaXJlY3Rvcmllcy4KVGhlcmUgaXMgYSBUT0RPIHRoYXQgcmVmZXJlbmNlcyB0aGUgUG93ZXJJ
73 U0EgUERGLCBzbyBJIHdpbGwgZmlyc3QgcmVhZCB0aGUgCmZvbGxvd2luZyBzZWN0aW9ucywgYmVm
74 b3JlIHdyaXRpbmcgYW55dGhpbmcuCiAgICAgICAgIyA0LjIuMiBwMTI0IEZQU0NSIChkZWZpbml0
75 ZWx5ICJzZXBhcmF0ZSIgLSBub3QgaW4gU1BSKQogICAgICAgICMgICAgICAgICAgICBub3RlIHRo
76 YXQgbWZmcywgbWNyZnMsIG10ZnNmICJtYW5hZ2UiIHRoaXMgRlBTQ1IKICAgICAgICAjIDIuMy4x
77 IENSIChhbmQgc3ViLWZpZWxkcyBDUjAuLkNSNiAtIENSMCBTTyBjb21lcyBmcm9tIFhFUi5TTykK
78 ICAgICAgICAjICAgICAgICAgbm90ZSB0aGF0IG1mb2NyZiwgbWZjciwgbXRjciwgbXRvY3JmLCBt
79 Y3J4cnggIm1hbmFnZSIgQ1JzCiAgICAgICAgIyAyLjMuMiBMUiAgIChhY3R1YWxseSBTUFIgIzgp
80 CiAgICAgICAgIyAyLjMuMyBDVFIgIChhY3R1YWxseSBTUFIgIzkpCiAgICAgICAgIyAyLjMuNCBU
81 QVIgIChhY3R1YWxseSBTUFIgIzgxNSkKICAgICAgICAjIDMuMi4yIHA0NSBYRVIgIChhY3R1YWxs
82 eSBTUFIgIzApCiAgICAgICAgIyAzLjIuMyBwNDYgcDIzMiBWUlNBVkUgKGFjdHVhbGx5IFNQUiAj
83 MjU2KQpJIGFzc3VtZSB0aGF0IHRoYXQgdGhlIHZlcnNpb24gb2YgdGhlIHBkZiByZWZlcmVuY2Vk
84 IGlzIHN0aWxsIDMuMCBvbmUgYW5kIG5vdCAzLjEgcmVjZW50bHkgcmVsZWFzZWQuCiAgICAgICAK
85 VG9iaWFzCgotLSAKVG9iaWFzIFBsYXRlbiA8bGlicmUtc29jW2F0XXBsYXRlbi1zb2Z0d2FyZVtk
86 b3RdZGU+CgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwps
87 aWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1y
88 aXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xp
89 YnJlLXJpc2N2LWRldgo=
90