[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 00 / 92c5177d4f92101c7bc4ffc5ea4e9859bd9145
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 08 Apr 2020 16:42:43 +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 1jMCqg-0000XH-5D; Wed, 08 Apr 2020 16:42:42 +0100
8 Received: from mail-wm1-f50.google.com ([209.85.128.50])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <programmerjake@gmail.com>)
11 id 1jMCqd-0000XA-8J
12 for libre-riscv-dev@lists.libre-riscv.org; Wed, 08 Apr 2020 16:42:39 +0100
13 Received: by mail-wm1-f50.google.com with SMTP id y24so395627wma.4
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Wed, 08 Apr 2020 08:42:39 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
18 bh=dCnYbBM07AddeCUMknrth2SrvPLnvsqK3424+6FNKFk=;
19 b=tc6S+TVsqjHGJq4aQk50DGIz/wpFtm3HSawH+9uLskv1gn8HhqnDAl4XNXICJLLbAR
20 assfHuFxqMQMpVkfqkxXv7Y4IHDhMQi19B0t7wbEKYZh9HSnPFM22RQDoVlFwK7lu8HQ
21 TurNYFNmwU+ok9eyoVHg2C2Q8uXKcaj3EnpPQRO2/f1OsF3Swrw8LiWotmTmDUNkz7Gv
22 jEZmrlVI0sJ0oQTW5LWCZzs+YcjKuBd2KG4C1P3/SzhACMQMfVOSGwfWKNjQTsBjcDjA
23 jsbrVHU9i4Cm/SDpjFsb5XPpjCMidaCXXr6Mekj65oMnzya9aCPed3i8FfNoEI8b3AmQ
24 fX+w==
25 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
26 d=1e100.net; s=20161025;
27 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
28 :message-id:subject:to;
29 bh=dCnYbBM07AddeCUMknrth2SrvPLnvsqK3424+6FNKFk=;
30 b=WZGPEpCtNMap7SS+9Fz90FapUhoNnysafKlDOqlXCEP92WsAm7wEjOP0Kdnicc5OSF
31 SRFWKvncHnvUbEifmbs+IChpUazLsrzflf25TBJjy0Y/XyrWK6KppBiJKIe79X4Q+ScW
32 pUMwHcm/IzrS+K00mDldcUJCwGqxQtVmV26Ve+4FwHA099cfuvj/jD2E6AcUwFBi1btp
33 WpMHkGN28wm/1lMdw8fDSe4xZZqxg04sJ9CeJFBIa/3iniIEu8cXzHNn0zRPbA2+v23Q
34 WpPKS49RKoFciv3+0utIaTIYNM85hqeyWB0s9pwFbCBN/fe7VNrKMRYzz6bwsJiBTpGB
35 V+dw==
36 X-Gm-Message-State: AGi0PuaXBSxvdu0hkLRK/qFmCWqi5YVJ6y3Mdk7SNmZATZOiSQBFuKx5
37 UJ6+qwQGqgxbXSOTf5IKszoMl4Da7SJzogcRTbcy7Q==
38 X-Google-Smtp-Source: APiQypJIwTqjsBYKYKDNM9FnqVCR3WM6B0H79VKgWBidjssVH67GFszoAcJ67P0T/rrLptsv/6UEUVJcdacFSB4SqME=
39 X-Received: by 2002:a1c:bd08:: with SMTP id n8mr3986950wmf.23.1586360557665;
40 Wed, 08 Apr 2020 08:42:37 -0700 (PDT)
41 MIME-Version: 1.0
42 References: <CAC2bXD6wXSz+NWMwOhgxosKnLtTMJXzCNt9NY-qe1X80gCLVqg@mail.gmail.com>
43 <CAPweEDzD3y7YXGu=L5B4Voi0WXaYFy2CctzzgpJtugyULHaJmA@mail.gmail.com>
44 <CAC2bXD7T3tjv9irjC7NU5gMWQgWVr8rV2k_oNoSmcW6aZ6s8_w@mail.gmail.com>
45 <CAPweEDyvmOxf7Yr-J0_hwJQ+owyP_c7aaZW_7Lz80NQtbNAtEg@mail.gmail.com>
46 <CAPweEDzpR4HEg+zOZ1AVvEYdwmm=YWmv0PTwMkDN84-wkyF3Dg@mail.gmail.com>
47 <CAC2bXD4K5p+_ar__mz02WQ+hrxZe08CR0mH9t0_99vWUrQTJ0w@mail.gmail.com>
48 <CAPweEDyJ3ajKoAuKP0mGe2xDVLxjZeWZTg1kXqnm8pVzMhdzyQ@mail.gmail.com>
49 In-Reply-To: <CAPweEDyJ3ajKoAuKP0mGe2xDVLxjZeWZTg1kXqnm8pVzMhdzyQ@mail.gmail.com>
50 From: Jacob Lifshay <programmerjake@gmail.com>
51 Date: Wed, 8 Apr 2020 08:42:26 -0700
52 Message-ID: <CAC2bXD5CVz8x3rEkt8pu=eVh4mGQV7QZ5AfrmhmapR3EnUfZww@mail.gmail.com>
53 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
54 Subject: [libre-riscv-dev] GitLab CI Archiver
55 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
56 X-Mailman-Version: 2.1.23
57 Precedence: list
58 List-Id: Libre-RISCV General Development
59 <libre-riscv-dev.lists.libre-riscv.org>
60 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
61 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
62 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
63 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
64 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
65 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
66 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
67 Reply-To: Libre-RISCV General Development
68 <libre-riscv-dev@lists.libre-riscv.org>
69 Content-Type: text/plain; charset="utf-8"
70 Content-Transfer-Encoding: base64
71 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
72 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
73
74 T24gVHVlLCBBcHIgNywgMjAyMCBhdCA5OjUzIEFNIEx1a2UgS2VubmV0aCBDYXNzb24gTGVpZ2h0
75 b24KPGxrY2xAbGtjbC5uZXQ+IHdyb3RlOgo+Cj4gT24gVHVlLCBBcHIgNywgMjAyMCBhdCA1OjAw
76 IFBNIEphY29iIExpZnNoYXkgPHByb2dyYW1tZXJqYWtlQGdtYWlsLmNvbT4gd3JvdGU6Cj4KPiA+
77 IEknbSB0aGlua2luZyB3aGF0IHdpbGwgd29yayBiZXN0IGlzIGp1c3QgdG8gYnVpbGQgb3VyIG93
78 biBzeXN0ZW0gdGhhdCB1c2VzCj4gPiB0aGUgZ2l0bGFiIGFwaSB0byBtb25pdG9yIGJ1aWxkcyBh
79 bmQgc2VuZCBlbWFpbHMgQ0NlZCB0byB0aGUgY29tbWl0dGVyIGFuZAo+ID4gdG8gYSBtYWlsaW5n
80 IGxpc3QuIG5laXRoZXIgYXJlIGN1cnJlbnRseSBzdXBwb3J0ZWQgYnkgZ2l0bGFiLCBpdCBjdXJy
81 ZW50bHkKPiA+IHNlbmRzIHRoZW0gYWxsIHRvIG1lIHNpbmNlIEkgcmVnaXN0ZXJlZCB0aGUgc3No
82 IGtleSBmb3IgdGhlIGdpdCBtaXJyb3JpbmcKPiA+IGNyb24gam9iLgo+Cj4gaSdkIHZlcnkgbXVj
83 aCBsaWtlIHRvIGhhbmQgdGhhdCB0YXNrIG92ZXIgdG8gZnJpZWRlciBhbmQgYWxhaW4sIHNvCj4g
84 dGhhdCB3ZSBjYW4gZm9jdXMgb24gaGFyZHdhcmUgLyBzb2Z0d2FyZSAvIHNpbXVsYXRpb24sIGlm
85 IHRoYXQncyBvay4KClNvcnJ5LCBJIGVuZGVkIHVwIHdyaXRpbmcgYSBSdXN0IHByb2dyYW0gdGhh
86 dCBkb2VzIGF0IGxlYXN0IHBhcnQgb2YKd2hhdCB3ZSBuZWVkIChJIHRob3VnaHQgaXQgbWlnaHQg
87 dGFrZSBhbiBob3VyIG9yIHR3byAtLSBpdCB0b29rIDEwKToKCmh0dHBzOi8vc2Fsc2EuZGViaWFu
88 Lm9yZy9LYXphbi10ZWFtL2dpdGxhYi1jaS1hcmNoaXZlcgoKVGhlcmUncyBleGFtcGxlIG91dHB1
89 dCBpbiB0aGUgZGVtbyBicmFuY2guCgpKYWNvYgoKX19fX19fX19fX19fX19fX19fX19fX19fX19f
90 X19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1y
91 aXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5v
92 cmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
93