[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 64 / 76ca892da4601def3426ab9c5275f2287b33a1
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Tue, 07 Apr 2020 16:10:48 +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 1jLpsG-0005tv-3d; Tue, 07 Apr 2020 16:10:48 +0100
8 Received: from lkcl.net ([217.147.94.29])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jLpsD-0005to-DV
11 for libre-riscv-dev@lists.libre-riscv.org; Tue, 07 Apr 2020 16:10:45 +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=ds7OJ7n5MZMEFI5NrFbzZ4vqwgf535W6Lg85SF8oF1U=;
16 b=nMgRVfSfvuvPhnhz7h0iziCPs3r29CwFZLQN/ZK1Pda5c/n8pFeKCZS6E28rRePoerkKnjl2pEM+hL/oCEAC0q5zZvvYI38QE92mxU35nEXOFeMy1rIaX4dbHaW0sAgrGn+7xQop+GZrIkVjdMePQl4JEia3fiAdWGW2Xqe6zv4=;
17 Received: from mail-lj1-f179.google.com ([209.85.208.179])
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 1jLpsC-00028z-Mc
20 for libre-riscv-dev@lists.libre-riscv.org; Tue, 07 Apr 2020 15:10:44 +0000
21 Received: by mail-lj1-f179.google.com with SMTP id i20so4115907ljn.6
22 for <libre-riscv-dev@lists.libre-riscv.org>;
23 Tue, 07 Apr 2020 08:10:29 -0700 (PDT)
24 X-Gm-Message-State: AGi0PuZCwNaWS+dYXmEldVtQR1CUl7ytwqE/FZqiK39Jul74cm1OmCRT
25 mrkNuzMF8L7XkQ1a2a9cKhodvVYU+XfbnPjz4A4=
26 X-Google-Smtp-Source: APiQypKPyaPItenVJz4Bjyy9jJlBE4gkRQjvawiTdoiPJMWMLFqbJMbIKWlX2eBvLe6UU9S+fKOFy17DqE3Pt/+DAE0=
27 X-Received: by 2002:a2e:8511:: with SMTP id j17mr2123718lji.292.1586272223702;
28 Tue, 07 Apr 2020 08:10:23 -0700 (PDT)
29 MIME-Version: 1.0
30 References: <CAC2bXD6wXSz+NWMwOhgxosKnLtTMJXzCNt9NY-qe1X80gCLVqg@mail.gmail.com>
31 <A0849B16-A2AD-47A1-9622-7DA77EDC7EF1@gatech.edu>
32 In-Reply-To: <A0849B16-A2AD-47A1-9622-7DA77EDC7EF1@gatech.edu>
33 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
34 Date: Tue, 7 Apr 2020 16:10:12 +0100
35 X-Gmail-Original-Message-ID: <CAPweEDwAYx29D2YurFP5nRM-G7=2Vzb8Wnxx5jiMXgoe+QL8TQ@mail.gmail.com>
36 Message-ID: <CAPweEDwAYx29D2YurFP5nRM-G7=2Vzb8Wnxx5jiMXgoe+QL8TQ@mail.gmail.com>
37 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
38 Subject: Re: [libre-riscv-dev] Broken build notification from debian salsa
39 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
40 X-Mailman-Version: 2.1.23
41 Precedence: list
42 List-Id: Libre-RISCV General Development
43 <libre-riscv-dev.lists.libre-riscv.org>
44 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
45 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
46 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
47 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
48 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
49 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
50 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
51 Reply-To: Libre-RISCV General Development
52 <libre-riscv-dev@lists.libre-riscv.org>
53 Content-Type: text/plain; charset="utf-8"
54 Content-Transfer-Encoding: base64
55 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
56 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
57
58 T24gVHVlLCBBcHIgNywgMjAyMCBhdCA0OjAzIFBNIEltbWFudWVsLCBZZWhvd3NodWEgVQo8eWlt
59 bWFudWVsM0BnYXRlY2guZWR1PiB3cm90ZToKPgo+ID4gIFdlCj4gPiBzaG91bGQgcHJvYmFibHkg
60 ZmlndXJlIG91dCBob3cgdG8gZ2V0IHNhbHNhIGJ1aWxkIGZhaWx1cmVzIHNlbnQgdG8gdGhlCj4g
61 PiBtYWlsaW5nIGxpc3QgYXMgd2VsbCwgdGhvdWdoIHdlJ2QgaGF2ZSB0byByZW1vdmUgdGhlIHVu
62 c3Vic2NyaWJlIGxpbmsgdG8KPiA+IHByZXZlbnQgYWNjaWRlbnRhbC9tYWxpY2lvdXMgdW5zdWJz
63 Y3JpcHRpb24uCj4KPiBJIHRoaW5rIHdlIGhhZCB0YWxrZWQgYWJvdXQgY3JlYXRpbmcgYW5vdGhl
64 ciBtYWlsaW5nIGxpc3QgZm9yIGJ1aWxkcyBhbmQgYnVncy4KPiBOb3cgbWlnaHQgYmUgYSBnb29k
65 IHRpbWUgdG8gc2V0IHRoYXQgdXAuCgpodHRwczovL2J1Z3MubGlicmUtc29jLm9yZy9zaG93X2J1
66 Zy5jZ2k/aWQ9MTg0CgpiZXN0IGRpc2N1c3NlZCB0aGVyZS4KCj4gVGhlIHRocmVlIG1haWxpbmcg
67 bGlzdHMgZGlzY3Vzc2VkIHdlcmUKPiAgLSBtYWluL2Rldgo+ICAtIGJ1Z3MKPiAgLSB3YXRlcmNv
68 b2xlcgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGli
69 cmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlz
70 Y3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJy
71 ZS1yaXNjdi1kZXYK
72