[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 3d / ee6ff2693149f9de792136d9ba84b856ca24b2
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 02:56: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 1jMiuW-0007bF-6Y; Fri, 10 Apr 2020 02:56:48 +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 1jMiuU-0007b9-Aw
11 for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Apr 2020 02:56: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:References:In-Reply-To:MIME-Version;
15 bh=nyXI8s/BqHn7X1JzUI7RkzQnwvP+CzH0qFyi/9tMqGw=;
16 b=dJSk30ce2OPNC43gguZgN+MAoazopwps8ZFDu8pPYvWeMVL1WEGzdjd7vNrnInqksM5SWchStNNXPXrFDG+SdE0trGUE2O4d59ijvIsCrJHc9XX5uyyETbDrG6EXRWcNAeQtBrCNML1hw0QDAKWy7GPkUc/6uPDqtAvaCqAUJhs=;
17 Received: from mail-lj1-f172.google.com ([209.85.208.172])
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 1jMiuT-0007cf-Vi
20 for libre-riscv-dev@lists.libre-riscv.org; Fri, 10 Apr 2020 01:56:46 +0000
21 Received: by mail-lj1-f172.google.com with SMTP id i20so576004ljn.6
22 for <libre-riscv-dev@lists.libre-riscv.org>;
23 Thu, 09 Apr 2020 18:56:44 -0700 (PDT)
24 X-Gm-Message-State: AGi0PuZCfbOMrhKhnEN6YEivqMHn1GDwLbBQhX+0MbAxnwDLl6vgRQd7
25 F8J3t87+kId7vNRkiT2c4Hqq5+Opj7uJHmpW08Y=
26 X-Google-Smtp-Source: APiQypI9BEybh58EcpXP8g67NN+nSDrnm/hNjQmr4HuzXfSTZU4MVzAXF/xkYmmBCQLjrKSsdHk2lRXPLuuGfgGJSPI=
27 X-Received: by 2002:a2e:8511:: with SMTP id j17mr1599655lji.292.1586483799094;
28 Thu, 09 Apr 2020 18:56:39 -0700 (PDT)
29 MIME-Version: 1.0
30 Received: by 2002:ab3:7bd7:0:0:0:0:0 with HTTP;
31 Thu, 9 Apr 2020 18:56:38 -0700 (PDT)
32 In-Reply-To: <CAPweEDzo+F9-OYcthagzDPOE2LbrHLUZOYbHMaCGFT8Atu666w@mail.gmail.com>
33 References: <CAC2bXD4Ei-6yKFKXBd1uPtsauGJwf2o7EpihTMJWDdKR+SvbJg@mail.gmail.com>
34 <CAPweEDwe6sRq6MqDGTZf=F61D6PUjcG5LMxRstAyhu3ZxjopkA@mail.gmail.com>
35 <CAC2bXD6Ui4j9PiWkc1ofn_xek+HmsM0qr8VvrRah885Dp3gKPA@mail.gmail.com>
36 <CAPweEDwnXBeRzMMJmcuZAsR1hOec=Xx6kvmsuYasO_sDYr82Gw@mail.gmail.com>
37 <CAC2bXD6cgfvQFPkjS6vabYUJERd2ZPV+9oyP3+O8A2ApmK2XPg@mail.gmail.com>
38 <CAPweEDyG-J0ZEdHtzpJ1AZyO_658VOF9aDHWzQQ-bpuBpJ3LJw@mail.gmail.com>
39 <CAC2bXD4j-aJz854cap_WyKqx85syQJp3PYVQ4ftm4VR1q7vBrg@mail.gmail.com>
40 <CAPweEDzo+F9-OYcthagzDPOE2LbrHLUZOYbHMaCGFT8Atu666w@mail.gmail.com>
41 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
42 Date: Fri, 10 Apr 2020 02:56:38 +0100
43 X-Gmail-Original-Message-ID: <CAPweEDxoYotjTNSAB=uF5=XwqvyAPuy82c7VDD55F1oA5fUfXw@mail.gmail.com>
44 Message-ID: <CAPweEDxoYotjTNSAB=uF5=XwqvyAPuy82c7VDD55F1oA5fUfXw@mail.gmail.com>
45 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
46 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
47 Subject: Re: [libre-riscv-dev] gitlab-ci-archiver status
48 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
49 X-Mailman-Version: 2.1.23
50 Precedence: list
51 List-Id: Libre-RISCV General Development
52 <libre-riscv-dev.lists.libre-riscv.org>
53 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
54 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
55 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
56 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
57 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
58 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
59 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
60 Reply-To: Libre-RISCV General Development
61 <libre-riscv-dev@lists.libre-riscv.org>
62 Content-Type: text/plain; charset="utf-8"
63 Content-Transfer-Encoding: base64
64 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
65 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
66
67 aHR0cHM6Ly9kb2NzLnJzL3N1YnByb2Nlc3MvMC4xLjE4L3N1YnByb2Nlc3Mvc3RydWN0LlBvcGVu
68 Lmh0bWwKCnRoaXMgb25lJ3MgYmV0dGVyLiAgZXhhbXBsZSB3aGljaCBpcyBwcmV0dHkgbXVjaCBl
69 eGFjdGx5IHdoYXQgaXMgbmVlZGVkCnNob3VsZCBiZSA1IG1pbnV0ZXMgd29yayB0byBhZGQgYW5k
70 IHRlc3QuCgpodHRwczovL2RvY3MucnMvc3VicHJvY2Vzcy8wLjIuNC9zdWJwcm9jZXNzLwoKYXJn
71 cyBpZiBuZWVkZWQgd2hpY2ggdGhleSByZWFsbHkgc2hvdWxkbid0IGdvIGluIHRoZSBhcnJheSBh
72 cyBmaXJzdCBhcmcgdG8KUG9wZW4uCgphbnl0aGluZyBjb21wbGljYXRlZCBwYXNzIGl0IHRvIHN0
73 ZG91dCBpbiBzaW1wbGUgb25lIGxpbmUgbmV3bGluZSBvbmUgbGluZQpuZXdsaW5lIGZvcm0uCgps
74 LgoKCgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29uc2Npb3VzIGhhcmR3YXJlOiBodHRw
75 czovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19fX19fX19fX19fX19fX19fX19fX19f
76 X19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUt
77 cmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yu
78 b3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
79