[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 0a / ec9f6ab6560eadb1d0cd4732c517f5f65fd05c
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 11 Mar 2020 14:31:22 +0000
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 1jC2OH-0005s8-U2; Wed, 11 Mar 2020 14:31:21 +0000
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 1jC2OF-0005s0-Kw
11 for libre-riscv-dev@lists.libre-riscv.org; Wed, 11 Mar 2020 14:31:19 +0000
12 From: bugzilla-daemon@libre-riscv.org
13 To: libre-riscv-dev@lists.libre-riscv.org
14 Date: Wed, 11 Mar 2020 14:31:19 +0000
15 X-Bugzilla-Reason: CC
16 X-Bugzilla-Type: new
17 X-Bugzilla-Watch-Reason: None
18 X-Bugzilla-Product: Libre Shakti M-Class
19 X-Bugzilla-Component: Source Code
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: bug_id short_desc product version rep_platform
30 op_sys bug_status bug_severity priority component assigned_to reporter cc
31 cf_nlnet_milestone
32 Message-ID: <bug-215-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 215] New: evaluate minerva for base in
37 libre-soc
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 aHR0cDovL2J1Z3MubGlicmUtcmlzY3Yub3JnL3Nob3dfYnVnLmNnaT9pZD0yMTUKCiAgICAgICAg
58 ICAgIEJ1ZyBJRDogMjE1CiAgICAgICAgICAgU3VtbWFyeTogZXZhbHVhdGUgbWluZXJ2YSBmb3Ig
59 YmFzZSBpbiBsaWJyZS1zb2MKICAgICAgICAgICBQcm9kdWN0OiBMaWJyZSBTaGFrdGkgTS1DbGFz
60 cwogICAgICAgICAgIFZlcnNpb246IHVuc3BlY2lmaWVkCiAgICAgICAgICBIYXJkd2FyZTogUEMK
61 ICAgICAgICAgICAgICAgIE9TOiBMaW51eAogICAgICAgICAgICBTdGF0dXM6IENPTkZJUk1FRAog
62 ICAgICAgICAgU2V2ZXJpdHk6IGVuaGFuY2VtZW50CiAgICAgICAgICBQcmlvcml0eTogLS0tCiAg
63 ICAgICAgIENvbXBvbmVudDogU291cmNlIENvZGUKICAgICAgICAgIEFzc2lnbmVlOiBsa2NsQGxr
64 Y2wubmV0CiAgICAgICAgICBSZXBvcnRlcjogbGtjbEBsa2NsLm5ldAogICAgICAgICAgICAgICAg
65 Q0M6IGxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKICAgTkxuZXQgbWlsZXN0
66 b25lOiAtLS0KCmh0dHBzOi8vZ2l0aHViLmNvbS9sYW1iZGFjb25jZXB0L21pbmVydmEKCmxvb2tz
67 IHJlYWxseSBnb29kOiBjbGVhbiBkZXNpZ24sIHVzZXMgd2lzaGJvbmUgdG8gdGhlIEwxIGNhY2hl
68 cyBhbmQKdG8gdGhlIG1haW4gY29yZS4gIHRoaXMgd2lsbCBoZWxwIHdoZW4gaXQgY29tZXMgdG8g
69 YWRkaW5nIFNNUCBkb3duCnRoZSBsaW5lLiAgdGhlIGRlY29kZXIgaXMgYWxzbyB2ZXJ5IGNsZWFu
70 LgoKdGhlIG9ubHkgbm9uLW9idmlvdXMgYml0IGlzIGhvdyB0aGUgY29yZSB3b3Jrcywgd2l0aCBz
71 b3VyY2Uvc2luawpiZWluZyBjcmVhdGVkIGluIGNsYXNzICJTdGFnZSIgKHdoaWNoIGlzIGZpbmUp
72 LCBhbmQgd2l0aCB0aGUKaW50ZXItdHJhbnNmZXIgbGF5b3V0cyBiZWluZyB0aGUgc2FtZSAoc291
73 cmNlIG9uIHByZXZpb3VzIHN0YWdlCmVxdWFscyBzaW5rIG9uIHRoZSBuZXh0IHN0YWdlKSwgdGhh
74 dCdzIG9idmlvdXM6IHRoZSBiaXQgdGhhdCdzCm5vdCBvYnZpb3VzIGlzIHdoYXQtZ2V0cy1jb25u
75 ZWN0ZWQtdG8td2hhdC4KCmkgdGhpbmsgdGhpcyBpcyBiZWNhdXNlICJzaW5rcyIgYXJlIHNldCB1
76 cCBhdCB0aGUgc3RhcnQgb2YgY29yZS5weQp3aGlsc3QgInNvdXJjZXMiIGFyZSBzZXQgdXAgbXVj
77 aCBmdXJ0aGVyIGRvd24uICBpbiB0aGUgbGlicmUtc29jCnBpcGVsaW5lIGNvZGUsIHRoZSBsYXlv
78 dXRzIGFyZSBkb25lIHZpYSBvYmplY3RzLCBhbmQgdGhlIG1vZHVsZXMKInRha2UgY2FyZSIgb2Yg
79 cGxhY2luZyBkYXRhIGludG8gdGhlICJvdXRwdXQiIGluaGVyZW50bHkuICBoZXJlLAppdCdzIG1l
80 c3N5LCBhbmQgdGhlIHNlcGFyYXRpb24gbWFrZXMgdW5kZXJzdGFuZGluZyBkaWZmaWN1bHQuCgpv
81 dGhlciB0aGFuIHRoYXQsIHRob3VnaCwgaXQncyBwcmV0dHkgZGFtbiBnb29kLgoKLS0gCllvdSBh
82 cmUgcmVjZWl2aW5nIHRoaXMgbWFpbCBiZWNhdXNlOgpZb3UgYXJlIG9uIHRoZSBDQyBsaXN0IGZv
83 ciB0aGUgYnVnLgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
84 XwpsaWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJy
85 ZS1yaXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZv
86 L2xpYnJlLXJpc2N2LWRldgo=