[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / c2 / 8ee7efc8bc6100543948a50b4903be9727295e
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Sun, 29 Mar 2020 00:41:28 +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 1jIM11-0004fH-7R; Sun, 29 Mar 2020 00:41:27 +0000
8 Received: from relay2-d.mail.gandi.net ([217.70.183.194])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
10 (Exim 4.89) (envelope-from <whygee@f-cpu.org>) id 1jIM10-0004fB-8r
11 for libre-riscv-dev@lists.libre-riscv.org; Sun, 29 Mar 2020 00:41:26 +0000
12 Received: from webmail.gandi.net (webmail24.sd4.0x35.net [10.200.201.24])
13 (Authenticated sender: whygee@f-cpu.org)
14 by relay2-d.mail.gandi.net (Postfix) with ESMTPA id DA84040004
15 for <libre-riscv-dev@lists.libre-riscv.org>;
16 Sun, 29 Mar 2020 00:41:25 +0000 (UTC)
17 MIME-Version: 1.0
18 Date: Sun, 29 Mar 2020 01:41:25 +0100
19 From: whygee@f-cpu.org
20 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
21 In-Reply-To: <CAPweEDyB5Z5-xnGeS8suiBwgwr-WX2R5Gtrc5MCyVmrK3+p8hw@mail.gmail.com>
22 References: <cf736037e77c4433f1c9d1b8f6166bf7@f-cpu.org>
23 <CAPweEDyB5Z5-xnGeS8suiBwgwr-WX2R5Gtrc5MCyVmrK3+p8hw@mail.gmail.com>
24 Message-ID: <97d28c2e6b3352e24a855a248f0176cc@f-cpu.org>
25 X-Sender: whygee@f-cpu.org
26 User-Agent: Roundcube Webmail/1.3.8
27 Subject: Re: [libre-riscv-dev] another CDC6600 reference on IEEE
28 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
29 X-Mailman-Version: 2.1.23
30 Precedence: list
31 List-Id: Libre-RISCV General Development
32 <libre-riscv-dev.lists.libre-riscv.org>
33 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
34 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
35 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
36 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
37 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
38 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
39 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
40 Reply-To: Libre-RISCV General Development
41 <libre-riscv-dev@lists.libre-riscv.org>
42 Content-Transfer-Encoding: base64
43 Content-Type: text/plain; charset="utf-8"; Format="flowed"
44 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
45 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
46
47 T24gMjAyMC0wMy0yOCAwNzowNywgTHVrZSBLZW5uZXRoIENhc3NvbiBMZWlnaHRvbiB3cm90ZToK
48 PiBPbiBTYXR1cmRheSwgTWFyY2ggMjgsIDIwMjAsIDx3aHlnZWVAZi1jcHUub3JnPiB3cm90ZToK
49 PiAKPj4gSGkgIQo+PiBJIGZvdW5kIHRoaXMgcmVmZXJlbmNlCj4+IGh0dHBzOi8vaWVlZXhwbG9y
50 ZS5pZWVlLm9yZy9kb2N1bWVudC80NjM5NDAwLwo+PiBJIHRob3VnaHQgaXQgbWlnaHQgYnJpbmcg
51 c29tZSBpbnNpZ2h0IGFib3V0IHRoZSBzY29yZWJvYXJkCj4gcmVhZCBtaXRjaCdzIGJvb2sgY2hh
52 cHRlcnMuCkkgbGlrZSB0byBoYXZlIG11bHRpcGxlIHNvdXJjZXMgdG8gY29tcGFyZSB0aGVtIGFu
53 ZCBlbnJpY2gKdGhlIHBlcnNwZWN0aXZlcy4gSSdtIGEgbG9uZyB0aW1lIENyYXkgZmFuYm95IHNv
54 IGRvbid0IGp1ZGdlIG1lIDstKQoKPj4gYnV0IEkgY2FuJ3QgcmVhZCBpdCAtXy0KPiAgRGF0ZSBv
55 ZiBQdWJsaWNhdGlvbjogT2N0Li1EZWMuIDE5ODAKPiB3b293LgpUaGF0IHRoaW5nIGlzIGhpc3Rv
56 cmljYWwsIGl0IHNob3VsZCBiZSBpbiB0aGUgcHVibGljIGRvbWFpbi4uLgoKSSB0aGluayBzb21l
57 Ym9keSBoZXJlIGhhcyBhY2Nlc3MgdG8gdGhhdCByZXBvc2l0b3J5ID8KCnlnCgpfX19fX19fX19f
58 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFp
59 bGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xp
60 c3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
61