[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 28 / ae10bbe3b120749e4cc7a4eb81ce0ea86abfe5
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 02 Apr 2020 18:50:50 +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 1jK3zM-00011F-2Q; Thu, 02 Apr 2020 18:50:48 +0100
8 Received: from localhost ([127.0.0.1] helo=bugs.libre-riscv.org)
9 by libre-riscv.org with esmtp (Exim 4.89)
10 (envelope-from <bugzilla-daemon@libre-riscv.org>) id 1jK3zJ-000118-NK
11 for libre-riscv-dev@lists.libre-riscv.org; Thu, 02 Apr 2020 18:50:45 +0100
12 From: bugzilla-daemon@libre-riscv.org
13 To: libre-riscv-dev@lists.libre-riscv.org
14 Date: Thu, 02 Apr 2020 17:50:46 +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: critical
23 X-Bugzilla-Who: programmerjake@gmail.com
24 X-Bugzilla-Status: CONFIRMED
25 X-Bugzilla-Resolution:
26 X-Bugzilla-Priority: High
27 X-Bugzilla-Assigned-To: lkcl@lkcl.net
28 X-Bugzilla-Flags:
29 X-Bugzilla-Changed-Fields: priority bug_severity
30 Message-ID: <bug-185-13-I2u38lAOhU@http.bugs.libre-riscv.org/>
31 In-Reply-To: <bug-185-13@http.bugs.libre-riscv.org/>
32 References: <bug-185-13@http.bugs.libre-riscv.org/>
33 X-Bugzilla-URL: http://bugs.libre-riscv.org/
34 Auto-Submitted: auto-generated
35 MIME-Version: 1.0
36 Subject: [libre-riscv-dev] [Bug 185] Getting 502 Bad Gateway when accessing
37 bugzilla from archive.org
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 aHR0cDovL2J1Z3MubGlicmUtcmlzY3Yub3JnL3Nob3dfYnVnLmNnaT9pZD0xODUKCkphY29iIExp
58 ZnNoYXkgPHByb2dyYW1tZXJqYWtlQGdtYWlsLmNvbT4gY2hhbmdlZDoKCiAgICAgICAgICAgV2hh
59 dCAgICB8UmVtb3ZlZCAgICAgICAgICAgICAgICAgICAgIHxBZGRlZAotLS0tLS0tLS0tLS0tLS0t
60 LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
61 LS0tCiAgICAgICAgICAgUHJpb3JpdHl8LS0tICAgICAgICAgICAgICAgICAgICAgICAgIHxIaWdo
62 CiAgICAgICAgICAgU2V2ZXJpdHl8bm9ybWFsICAgICAgICAgICAgICAgICAgICAgIHxjcml0aWNh
63 bAoKLS0tIENvbW1lbnQgIzYgZnJvbSBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBnbWFp
64 bC5jb20+IC0tLQpOb3cgSSdtIGdldHRpbmcgNTAyIEJhZCBHYXRld2F5IGZyb20gbXkgbG9jYWwg
65 Y29tcHV0ZXI6CmN1cmwgLS12ZXJib3NlIC0taXB2NiAtLW5vLXByb2dyZXNzLW1ldGVyIGh0dHA6
66 Ly9saWJyZS1yaXNjdi5vcmcvICY+IGN1cmwubG9nCnByb2R1Y2VzOgoqICAgVHJ5aW5nIDJhMDA6
67 MTA5ODo4MjpmOjoxOjgwLi4uCiogQ29ubmVjdGVkIHRvIGxpYnJlLXJpc2N2Lm9yZyAoMmEwMDox
68 MDk4OjgyOmY6OjEpIHBvcnQgODAgKCMwKQo+IEdFVCAvIEhUVFAvMS4xCj4gSG9zdDogbGlicmUt
69 cmlzY3Yub3JnCj4gVXNlci1BZ2VudDogY3VybC83LjY5LjEKPiBBY2NlcHQ6ICovKgo+CiogTWFy
70 ayBidW5kbGUgYXMgbm90IHN1cHBvcnRpbmcgbXVsdGl1c2UKPCBIVFRQLzEuMSA1MDIgQmFkIEdh
71 dGV3YXkKPCBTZXJ2ZXI6IG5naW54CjwgRGF0ZTogVGh1LCAwMiBBcHIgMjAyMCAxNzo0NDowNCBH
72 TVQKPCBDb250ZW50LVR5cGU6IHRleHQvaHRtbAo8IENvbnRlbnQtTGVuZ3RoOiAxNjYKPCBDb25u
73 ZWN0aW9uOiBrZWVwLWFsaXZlCjwKeyBbMTY2IGJ5dGVzIGRhdGFdCiogQ29ubmVjdGlvbiAjMCB0
74 byBob3N0IGxpYnJlLXJpc2N2Lm9yZyBsZWZ0IGludGFjdAo8aHRtbD4KPGhlYWQ+PHRpdGxlPjUw
75 MiBCYWQgR2F0ZXdheTwvdGl0bGU+PC9oZWFkPgo8Ym9keSBiZ2NvbG9yPSJ3aGl0ZSI+CjxjZW50
76 ZXI+PGgxPjUwMiBCYWQgR2F0ZXdheTwvaDE+PC9jZW50ZXI+Cjxocj48Y2VudGVyPm5naW54PC9j
77 ZW50ZXI+CjwvYm9keT4KPC9odG1sPgoKRWl0aGVyIHdlIHNob3VsZCBmaXggdGhlIHNlcnZlcidz
78 IGNvbmZpZyBvciByZW1vdmUgdGhlIElQdjYgRE5TIGVudHJ5LCBzaW5jZSBpdAp3b3JrcyB0aHJv
79 dWdoIElQdjQuCgotLSAKWW91IGFyZSByZWNlaXZpbmcgdGhpcyBtYWlsIGJlY2F1c2U6CllvdSBh
80 cmUgb24gdGhlIENDIGxpc3QgZm9yIHRoZSBidWcuCl9fX19fX19fX19fX19fX19fX19fX19fX19f
81 X19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUt
82 cmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yu
83 b3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
84