[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 95 / b500b0371ec3e9a5ba14e54d51cbbe84035070
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 22 Apr 2020 17:00:41 +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 1jRHnk-0002kX-Sc; Wed, 22 Apr 2020 17:00:40 +0100
8 Received: from localhost ([127.0.0.1] helo=bugs.libre-soc.org)
9 by libre-soc.org with esmtp (Exim 4.89)
10 (envelope-from <bugzilla-daemon@libre-soc.org>) id 1jRHni-0002kM-T7
11 for libre-riscv-dev@lists.libre-riscv.org; Wed, 22 Apr 2020 17:00:38 +0100
12 From: bugzilla-daemon@libre-soc.org
13 To: libre-riscv-dev@lists.libre-riscv.org
14 Date: Wed, 22 Apr 2020 16:00:39 +0000
15 X-Bugzilla-Reason: CC
16 X-Bugzilla-Type: changed
17 X-Bugzilla-Watch-Reason: None
18 X-Bugzilla-Product: Libre-RISC-V Website
19 X-Bugzilla-Component: website
20 X-Bugzilla-Version: unspecified
21 X-Bugzilla-Keywords:
22 X-Bugzilla-Severity: enhancement
23 X-Bugzilla-Who: lkcl@lkcl.net
24 X-Bugzilla-Status: CONFIRMED
25 X-Bugzilla-Resolution:
26 X-Bugzilla-Priority: ---
27 X-Bugzilla-Assigned-To: lkcl@lkcl.net
28 X-Bugzilla-Flags:
29 X-Bugzilla-Changed-Fields:
30 Message-ID: <bug-288-13-8tmyMacMx9@https.bugs.libre-soc.org/>
31 In-Reply-To: <bug-288-13@https.bugs.libre-soc.org/>
32 References: <bug-288-13@https.bugs.libre-soc.org/>
33 X-Bugzilla-URL: https://bugs.libre-soc.org/
34 Auto-Submitted: auto-generated
35 MIME-Version: 1.0
36 Subject: [libre-riscv-dev] [Bug 288] intro post for powerpc-notebook.org and
37 https://www.powerprogress.org/en/
38 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
39 X-Mailman-Version: 2.1.23
40 Precedence: list
41 List-Id: Libre-RISCV General Development
42 <libre-riscv-dev.lists.libre-riscv.org>
43 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
44 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
45 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
46 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
47 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
48 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
49 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
50 Reply-To: Libre-RISCV General Development
51 <libre-riscv-dev@lists.libre-riscv.org>
52 Content-Type: text/plain; charset="utf-8"
53 Content-Transfer-Encoding: base64
54 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
55 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
56
57 aHR0cHM6Ly9idWdzLmxpYnJlLXNvYy5vcmcvc2hvd19idWcuY2dpP2lkPTI4OAoKLS0tIENvbW1l
58 bnQgIzQgZnJvbSBMdWtlIEtlbm5ldGggQ2Fzc29uIExlaWdodG9uIDxsa2NsQGxrY2wubmV0PiAt
59 LS0KKEluIHJlcGx5IHRvIFllaG93c2h1YSBmcm9tIGNvbW1lbnQgIzMpCj4gQWggSSBzZWUuIFRo
60 YXQgbWFrZXMgc2Vuc2UgdG8gbWUuCj4gCj4gU28gdGhpczoKPiAKPiBMaWJyZVNPQyBpcyBhbiBP
61 cGVuIEhhcmR3YXJlIGFuZCBPcGVuIFNvZnR3YXJlIHByb2plY3QgdGhhdCBhaW1zIHRvIGRlbGl2
62 ZXIKPiBhIHBoeXNpY2FsICBQT1dFUiBjb21wbGlhbnQgU09DIHRoYXQgY29tZXMgY29tcGxldGUg
63 d2l0aCBhIENQVSwgR1BVLCBWUFUsCj4gYW5kIEREUiBjb250cm9sbGVyLiBBbGwgdGhlIHNvZnR3
64 YXJlIGFuZCBoYXJkd2FyZSBmcm9tIHRoZSBkcml2ZXJzIGRvd24gdG8KPiB0aGUgUlRMIGFuZCBW
65 TFNJIGNlbGxzIGFyZSBvcGVuLiAKCmxpYnJlLWxpY2Vuc2VkLiAgIm9wZW4iIGxlYXZlcyB0aGUg
66 cG9zc2liaWxpdHkgb2YgYWNjdXNhdGlvbnMgb2YgImZha2Ugb3Blbgpzb3VyY2UiLgoKIndlJ2xs
67 IHJlbGVhc2UgdGhlIGNvZGUgd2hlbiBpdCdzIHJldmlzaW9uIDEuMC4uLiBidXQgaXQncyBvcGVu
68 ISIuCgoid2UnbGwgcmVsZWFzZSB0aGUgY29kZSB3aGVuIGl0J3MgcmVhZHkuLi4gYnV0IGl0J3Mg
69 b3BlbiEiCgoid2UnbGwgcmVsZWFzZSB0aGUgY29kZS4uLiB1bmRlciBhIG5vbi1jb21tZXJjaWFs
70 IGxpY2Vuc2UuLi4gYnV0IGl0J3Mgb3BlbiEiCgo+IExpYnJlU09DIGlzIGFsc28gcHJvdmlkaW5n
71 IHRoZSBuZWNlc3NhcnkKPiBkcml2ZXJzIGFtb25nc3Qgd2hpY2ggaW5jbHVkZSBWdWxrYW4gYW5k
72 IE9wZW5DTCBkcml2ZXJzLgoKbm8sIG5vdCBPcGVuQ0wuICB0aGF0IGhhcyB0byBjb21lIGxhdGVy
73 IGFzIHdlJ2xsIG5lZWQgYW4gZW50aXJlIG5ldwpncmFudCB0byBkbyBpdC4KCj4gVGhlIGludGVu
74 ZGVkIG1hcmtldCBpbmNsdWRlcyBjdXN0b21lcnMgd2hvIGRlc2lyZSBhY2NlbGVyYXRpb24gaW4g
75 dGhlCj4gZW1iZWRkZWQgc3BhY2Ugd2l0aG91dCByZWx5aW5nIG9uIEFSTSdzIHByb3ByaWV0YXJ5
76 IGRyaXZlcnMgdGhhdCBoYXZlIGJlZW4KPiBrbm93IHRvIGJyZWFrIGluIHRoZSBwYXN0LgoKYW5k
77 IHBpc3MgcGVvcGxlIG9mZiA6KQoKPiBUaGUgZmlyc3QgaXRlcmF0aW9uIG9mIExpYnJlU09DIHRh
78 cmdldHMgYSBzaW5nbGUtY29yZSBhdCAxODBubS4gU3Vic2VxdWVudAo+IGdlbmVyYXRpb25zIHRh
79 cmdldCBtb3JlIGNvcmVzIGF0IGEgc21hbGxlciBub2RlIHNpemUuCgpsb29rcyBnb29kLiAgaSdk
80 IHB1dCAidGFyZ2V0IG11bHRpcGxlIFNNUCBjb3JlcyIgdGhvdWdoLiAgIm1vcmUgY29yZXMiCmNv
81 dWxkIG1lYW4gIk5VTUEiIG9yICJTSU1UIi4gIFNJTVQgaXMgYWxtb3N0IGltcG9zc2libGUgdG8g
82 cHJvZ3JhbSBmb3IKZ2VuZXJhbC1wdXJwb3NlLCBhbmQgTlVNQSBpcyBhIHJveWFsIHBhaW4sIG1l
83 bW9yeS13aXNlLgoKLS0gCllvdSBhcmUgcmVjZWl2aW5nIHRoaXMgbWFpbCBiZWNhdXNlOgpZb3Ug
84 YXJlIG9uIHRoZSBDQyBsaXN0IGZvciB0aGUgYnVnLgpfX19fX19fX19fX19fX19fX19fX19fX19f
85 X19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJl
86 LXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2
87 Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
88