[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 95 / 5b3d29417a83e3a7a6525ffcff0ec0163f4752
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Mon, 30 Mar 2020 08:31:42 +0100
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 1jIotZ-0008Qd-4D; Mon, 30 Mar 2020 08:31:41 +0100
8 Received: from mout.gmx.net ([212.227.17.21])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <cand@gmx.com>) id 1jIotW-0008QX-Bh
11 for libre-riscv-dev@lists.libre-riscv.org; Mon, 30 Mar 2020 08:31:38 +0100
12 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net;
13 s=badeba3b8450; t=1585553498;
14 bh=Q9YEL5CS9J2om5y1MeF80RwwICJjCJWNwY/o50ccpOs=;
15 h=X-UI-Sender-Class:Date:From:To:Subject:In-Reply-To:References;
16 b=AOfnC3cm/L7De1Yt9WWpKdr9cPRx5y3hureVuVFtsv1qAsWQJfdeUUFzbrKTZQy7m
17 r2rxrIRShbW9z890mEvrixOyAwyK2Jdrvv4IhO8a7NUBWmZAYhxBCfLXqFn2EJjlYi
18 0SzMS5RdV2PXfv4wN26oFkbbpNltK0fNoaDXHN+Y=
19 X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
20 Received: from Valinor ([82.128.158.7]) by mail.gmx.com (mrgmx105
21 [212.227.17.174]) with ESMTPSA (Nemesis) id 1N3bSt-1jACD43IRf-010aUS for
22 <libre-riscv-dev@lists.libre-riscv.org>; Mon, 30 Mar 2020 09:31:37 +0200
23 Date: Mon, 30 Mar 2020 10:32:26 +0300
24 From: Lauri Kasanen <cand@gmx.com>
25 To: libre-riscv-dev@lists.libre-riscv.org
26 Message-Id: <20200330103226.4cc14532f22a48719e25ea8f@gmx.com>
27 In-Reply-To: <CAC2bXD4DoabbWWc4vZCdrjEwOR7TG8DhrFMnU-0=uktSR23Q0A@mail.gmail.com>
28 References: <CAF1D9AC-F167-4B48-AE93-BADA36932AE8@gatech.edu>
29 <20200330095605.53c15f0713bab37f5c7121e2@gmx.com>
30 <CAC2bXD4DoabbWWc4vZCdrjEwOR7TG8DhrFMnU-0=uktSR23Q0A@mail.gmail.com>
31 X-Mailer: Sylpheed 3.5.0 (GTK+ 2.18.6; x86_64-unknown-linux-gnu)
32 Mime-Version: 1.0
33 X-Provags-ID: V03:K1:I2eMmeUt48QVQq3H3wHch6UcybKLJhCWMKrMBsfIq0FBosscfc3
34 tubht3BkTDpHRGzP/ZenwL5Rw79e+ZFXyf7Por5mSQ3NKFdrNPhZN4bhwfuD0Dky7MOC5g7
35 FckMD4vGZXw3xMNcTSzwSYya5pHuU9DjG9gGKiI53orD2Qz7rh/jlpzr8NW3u8aTXEKnj9Z
36 SoVyxXxmIOk6dHKPM8U8g==
37 X-Spam-Flag: NO
38 X-UI-Out-Filterresults: notjunk:1;V03:K0:WEAhUNx+PGg=:MytURBTZVvmFKSmSxlDRxi
39 F4YQNfM7gGNlzZn4CTgp2CObpu/DQImw+GXRk7yQbDPUe6WLjf5F6JyBNYKCQ5dwwhqjvx8lf
40 wRbT1sQdQv4ILGLdIPANmeRdsiPc3ZqCeQGYjtWM8Z5T/Qm3h88sM+aZrhV/9eulFxOOXQ6Xv
41 eAn4P8qnqzFlWFic5LcVhB9nlKW3hiR0aJRdvrbioLNGE7aYAjDASHeih1d3kxTvkq+P4CJ0w
42 iCf2U0Av4zHseptTnx2aKW/cFCK5DBmhvcj3elSSbmjyGHnj2Hf00Qb4pXKIz8RNdAXVbUFnv
43 pa0lPePTmDLQKm5NoXOfhyrFtl/3/yp8k1xPUYKK8WAjCQe9YYv7HuENSUQCRpms8wE7Jn3cX
44 225mf9nDvjQrCTaVjqULbCrv44rYVBMrfCg3p2I8ijdsAqJohL7J8zVxUwIZapoOsbMWB3oK4
45 Ltd14lywPW9yhn5Z8QkXxQgymdJu/lcBSsqjWQPXxsiGGZcNRVDwgwhf8KLyxe9pu6kcfbAo3
46 9jPGnFUsG8NuA6sREFbN329G+tx0hkzIakR2jt8179cUJthpsFtbE/jUHP5tl/vNknXR0PPUs
47 W3aVN6lQaV6h+G0PQg4OQpwk41H3WVnJZtSXL1bJMHKuuVs2HCmDhcigODPhIZDOt3To/zIJ+
48 bXZV7dPictL74gzbpqUayJAVwmJ9xwpoFojAVf6Kt7lry+o3Utcix9NN48fW73hPhWwr53slT
49 UhnaXfqXFSQq3a2xv3epku1rDSVTm4+WRIqeMFGs4kw4/Ovfjpg3V41ecp+j/WQSn7bM2XlIC
50 +Z3R5x0/QZj+W3QYUgLK1ybXS6rF8e6czlneKE6zSZaihy58nobPo1QvM++xQIvbWMr0v6SGN
51 zrjmT7A20UseABD8sC86rEXQbF7KgxX4KXpKRpfPlSmeK99GuTGHEdRPfQ700hj4nsngeP8C3
52 Is3gAZL/+P2IJ35JCvApAOdWsDosTLxG2nT9Jr/+VLfD7O74UL+Vbw2ZSW154qVYgYTI+wavn
53 5+JAx2bknL2rMmNT/xTr0nhddoyO9S+jksWRtZUAK7Aae3YMxZO7NjZqbF92CYw3MZ1PZHVJN
54 u1nPzoHhNAIBw3/Jb1GXcTXHrrhidqhpQVPnZNUywOFZqcwm1v88EIUCKt20AchKxi9vb7mEX
55 ujVXRAFFTFuCVMXPRDfeVVhLdQl1F1pjBGkSFZ85J/HUXRBlTUEbRhd6Ex6LcZConBpvBWW19
56 rWU+bu9vwYwDAHBmo
57 Subject: Re: [libre-riscv-dev] PPC on Talos and Playstation 3
58 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
59 X-Mailman-Version: 2.1.23
60 Precedence: list
61 List-Id: Libre-RISCV General Development
62 <libre-riscv-dev.lists.libre-riscv.org>
63 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
64 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
65 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
66 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
67 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
68 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
69 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
70 Reply-To: Libre-RISCV General Development
71 <libre-riscv-dev@lists.libre-riscv.org>
72 Content-Type: text/plain; charset="utf-8"
73 Content-Transfer-Encoding: base64
74 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
75 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
76
77 T24gTW9uLCAzMCBNYXIgMjAyMCAwMDoxMjo0MCAtMDcwMApKYWNvYiBMaWZzaGF5IDxwcm9ncmFt
78 bWVyamFrZUBnbWFpbC5jb20+IHdyb3RlOgoKPiBPbiBTdW4sIE1hciAyOSwgMjAyMCwgMjM6NTUg
79 TGF1cmkgS2FzYW5lbiA8Y2FuZEBnbXguY29tPiB3cm90ZToKPiA+IFJlbWVtYmVyIHRoYXQgU29u
80 eSBibG9ja2VkIE90aGVyT1MgaW4gYSBzcGVjaWZpYyBmaXJtd2FyZSB2ZXJzaW9uLCBhbmQKPiA+
81 IG5ld2VyIGZpcm13YXJlcyB3ZXJlIHJlcXVpcmVkIGZvciBydW5uaW5nIG5ld2VyIGdhbWVzLiBT
82 byBmaW5kaW5nIGEgUFMzCj4gPiB0aGF0IGNhbiBiZSB1c2VkIHdpbGwgYmUgaGFyZC4KPiA+Cj4g
83 PiBIb3dldmVyLCBXaWlVcyBhcmUgYSB2aWFibGUgb3B0aW9uIGZvciByZWNlbnQtaXNoIHBvd2Vy
84 IGh3IGZvciBjaGVhcC4KPgo+IFRoZSBXaWkgVSBpcyBhIHRyaS1jb3JlIDMyLWJpdCBQUEMgd2l0
85 aCAyR0Igb2YgZGRyMy4gQWRkaXRpb25hbGx5LCBOaW50ZW5kbwo+IGlzIG5vdCBsaWtlbHkgdG8g
86 c3VwcG9ydCBpbnN0YWxsaW5nIGN1c3RvbSBzb2Z0d2FyZS4KPgo+IEkgcGVyc29uYWxseSB0aGlu
87 ayBQb3dlciBNYWNzIGFyZSBwcm9iYWJseSB0aGUgYmVzdCBvcHRpb24gc2luY2UgdGhleSBjYW4K
88 PiB1c2Ugc3RhbmRhcmQgUEMgaGFyZHdhcmUgKGVnLiByYW0sIHNhdGEgZGlzaywgcGNpIGNhcmRz
89 IChtYXliZSBwY2llPyksCj4gZXh0ZXJuYWwgZGlzcGxheSwgdXNiLCBldGhlcm5ldCksIHRoZXkg
90 YWN0dWFsbHkgYXJlIGRlc2lnbmVkIHRvIGJlIGFibGUgdG8KPiBpbnN0YWxsIHlvdXIgb3duIE9T
91 LCB0aGV5IGhhdmUgMSwgMiwgb3IgNCBjb3JlIDY0LWJpdCBQb3dlciBwcm9jZXNzb3JzLCBhbmQK
92 PiB0aGV5IGFyZSByZWxhdGl2ZWx5IGluZXhwZW5zaXZlIC0tIEkgc2F3IG9uZSBmb3IgJDEwMCBs
93 YXN0IEkgY2hlY2tlZC4KClRoZSBzcGVjcyBxdW90ZSA2NC1iaXQgRlBVLCBzbyBpdCdzIG5vdCBl
94 bnRpcmVseSAzMi1iaXQuIE5pbnRlbmRvCmRvZXNuJ3QgbmVlZCB0bywgdGhleSBoYXZlIGFiYW5k
95 b25lZCB0aGUgY29uc29sZSwgYW5kIGluIGl0cyBsYXN0IHN0YXRlCml0IHdhcyBzdGlsbCBoYWNr
96 YWJsZSwgdW5saWtlIHRoZSBQUzMuIFRoZXJlZm9yZSBpdCdzIHNhZmUgdG8gYnV5IGFueQooTlRT
97 QywgSSBoYXZlbid0IGNoZWNrZWQgUEFMKSBXaWlVIGlmIHlvdSBpbnRlbmQgdG8gaGFjayBpdCwg
98 dnMgdmVyeQpjYXJlZnVsIGNoZWNraW5nIHRvIGZpbmQgdGhhdCByYXJlIGxvdy1maXJtd2FyZSBQ
99 UzMuCgpQb3dlck1hY3MgYXJlIGZpbmUsIHRob3VnaCBvbGQgYW5kIHBvd2VyLWhvZ2dpbmcuCgot
100 IExhdXJpCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwps
101 aWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1y
102 aXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xp
103 YnJlLXJpc2N2LWRldgo=
104