[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 99 / 90db076b0b6b2cf98f3ccecb547267d6908ad7
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Fri, 10 Apr 2020 19:18:49 +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 1jMyEr-0006Bd-27; Fri, 10 Apr 2020 19:18:49 +0100
8 Received: from lkcl.net ([217.147.94.29])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jMyEo-0006BX-RJ
11 for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Apr 2020 19:18:46 +0100
12 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
13 s=201607131;
14 h=Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
15 bh=6sv0AMUPp9QoWelGzOXCRIRminp5J4cXfA3C2IjfcmI=;
16 b=LwoZVbt0EB+YG64OjCEEKWRdRKobcVvas7Es5vZvZdCyGUCqLuOgKgMjApGV+oyA5XljIrPjRC/oY6vk8SoCRCfaTX4EU5P2nezSnRlmZAmlClKRprMzv3adIPJeYVBnZzTX0UAFtjIerSHmF/IWeRoxG07d0QA2shWURggQ6Kk=;
17 Received: from mail-lj1-f181.google.com ([209.85.208.181])
18 by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
19 (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jMyEo-0000Kk-Ev
20 for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Apr 2020 18:18:46 +0000
21 Received: by mail-lj1-f181.google.com with SMTP id k21so2797217ljh.2
22 for <libre-riscv-dev@lists.libre-riscv.org>;
23 Fri, 10 Apr 2020 11:18:46 -0700 (PDT)
24 X-Gm-Message-State: AGi0PuZ+HsaMe4hTfHxmetvFCn59p7oEMJyiLPFvgaqdtUVwfzwSJTy2
25 ViltuCt8lvxmubQZoU7voojSB7k53Q+p0S/K/lk=
26 X-Google-Smtp-Source: APiQypJOxKqoO7wbotBns3ByNaNqmvPWpLm/QzoSogxCOD6Wh+1cZleTtRZoQuGW+yEQC8UacSQeOAuKfksmVIrm8w4=
27 X-Received: by 2002:a2e:b0ee:: with SMTP id h14mr3738451ljl.35.1586542720563;
28 Fri, 10 Apr 2020 11:18:40 -0700 (PDT)
29 MIME-Version: 1.0
30 References: <E1jMxc8-0005mC-OH@libre-soc.org>
31 <CAC2bXD4wyLis4fdjKCebPXKBoLwtYe9Q-R3z5MM05ewsLSXGEg@mail.gmail.com>
32 <CAPweEDyy6RcfihEvWci7ZrefEn=vA538SsRBCdE8pLeLOEfs1w@mail.gmail.com>
33 <CAC2bXD70+iRqSrNtNyNC4n+h99XmX+c8zsKUCk4raisoPAaYFw@mail.gmail.com>
34 In-Reply-To: <CAC2bXD70+iRqSrNtNyNC4n+h99XmX+c8zsKUCk4raisoPAaYFw@mail.gmail.com>
35 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
36 Date: Fri, 10 Apr 2020 19:18:29 +0100
37 X-Gmail-Original-Message-ID: <CAPweEDxNK3eAx7080R8eyyicoUBiD-AGd3gWYSkcb9OhCS2YUw@mail.gmail.com>
38 Message-ID: <CAPweEDxNK3eAx7080R8eyyicoUBiD-AGd3gWYSkcb9OhCS2YUw@mail.gmail.com>
39 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
40 Subject: Re: [libre-riscv-dev] [Bugzilla] Your account
41 libre-riscv-dev@lists.libre-riscv.org is being impersonated
42 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
43 X-Mailman-Version: 2.1.23
44 Precedence: list
45 List-Id: Libre-RISCV General Development
46 <libre-riscv-dev.lists.libre-riscv.org>
47 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
48 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
49 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
50 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
51 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
52 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
53 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
54 Reply-To: Libre-RISCV General Development
55 <libre-riscv-dev@lists.libre-riscv.org>
56 Content-Type: text/plain; charset="utf-8"
57 Content-Transfer-Encoding: base64
58 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
59 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
60
61 T24gRnJpLCBBcHIgMTAsIDIwMjAgYXQgNzoxMSBQTSBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVy
62 amFrZUBnbWFpbC5jb20+IHdyb3RlOgo+Cj4gT24gRnJpLCBBcHIgMTAsIDIwMjAsIDEwOjU2IEx1
63 a2UgS2VubmV0aCBDYXNzb24gTGVpZ2h0b24gPGxrY2xAbGtjbC5uZXQ+Cj4gd3JvdGU6Cj4KPiA+
64 IE9uIEZyaSwgQXByIDEwLCAyMDIwIGF0IDY6NDkgUE0gSmFjb2IgTGlmc2hheSA8cHJvZ3JhbW1l
65 cmpha2VAZ21haWwuY29tPgo+ID4gd3JvdGU6Cj4gPgo+ID4gPiBPbiBGcmksIEFwciAxMCwgMjAy
66 MCwgMTA6MzkgPGJ1Z3ppbGxhLWRhZW1vbkBsaWJyZS1zb2Mub3JnPiB3cm90ZToKPiA+ID4gPiAg
67 ICAgSmFjb2IgTGlmc2hheSA8cHJvZ3JhbW1lcmpha2VAZ21haWwuY29tPiBwcm92aWRlZCB0aGUg
68 Zm9sbG93aW5nCj4gPiA+ID4gcmVhc29uIGZvciBkb2luZyB0aGlzOgo+ID4gPiA+IHRyeSB0byB1
69 cGRhdGUgZW1haWwgcHJlZmVyZW5jZXMgdG8gZ2V0IG5vdGlmaWNhdGlvbnMgZm9yIGFkZGluZwo+
70 ID4gYXR0YWNobWVudHMKPiA+ID4KPiA+ID4gVW5mb3J0dW5hdGVseSwgaXQgZGlkbid0IHNlZW0g
71 dG8gd29yaywgc2luY2UgSSBhZGRlZAo+ID4gPiBodHRwczovL2J1Z3MubGlicmUtc29jLm9yZy9z
72 aG93X2J1Zy5jZ2k/aWQ9ODUjYzEKPiA+ID4gYW5kIGl0IGRpZG4ndCBub3RpZnkgYW55b25lLgo+
73 ID4gPgo+ID4gPiBMdWtlLCB3ZSBzaG91bGQgdHJ5IHRvIGZpeCB0aGlzLgo+ID4KPiA+IHNvbWV3
74 aGVyZSwgc29tZXdoZXJlLCB0aGVyZSdzIHNvbWUgc2V0dGluZ3MgaSBzd2l0Y2hlZCBvZmYsIHNv
75 IHRoYXQKPiA+IHRoZSBhbW91bnQgb2YgYnVnemlsbGEtc3BhbSBpcyByZWR1Y2VkLiAgaSBqdXN0
76 IGNhbid0IHJlbWVtYmVyIG5vdywKPiA+IHdoZXJlLiAgZGlkIHNvbWUgcHJlbGltaW5hcnkgc2Vh
77 cmNoaW5nLCBnb2luZyB0aHJvdWdoIGEgdG9uIG9mCj4gPiBvcHRpb25zLCBjb3VsZG4ndCBmaW5k
78 IGl0IGltbWVkaWF0ZWx5Lgo+ID4KPgo+IEkgdHVybmVkIG9uIGF0dGFjaG1lbnQgZW1haWxzIGF0
79 Cj4gaHR0cHM6Ly9idWdzLmxpYnJlLXNvYy5vcmcvdXNlcnByZWZzLmNnaT90YWI9ZW1haWwgZm9y
80 IHRoZSBtYWlsaW5nIGxpc3QsCj4gZGlkbid0IHNlZW0gdG8gaGVscC4KCnRoaXMgbWlnaHQganVz
81 dCBiZSBwZXJzb25hbCB1c2VyIHByZWZlcmVuY2VzLgoKbC4KCl9fX19fX19fX19fX19fX19fX19f
82 X19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QK
83 bGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUt
84 cmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
85