[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / ee / 557d822671d66b5ecb1b90a893af67d423c39d
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Fri, 08 May 2020 16:22:03 +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 1jX4p8-0006yU-T2; Fri, 08 May 2020 16:22:02 +0100
8 Received: from mail-qt1-f182.google.com ([209.85.160.182])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <mtnolan2640@gmail.com>)
11 id 1jX4p7-0006yL-2c
12 for libre-riscv-dev@lists.libre-riscv.org; Fri, 08 May 2020 16:22:01 +0100
13 Received: by mail-qt1-f182.google.com with SMTP id g16so758539qtp.11
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Fri, 08 May 2020 08:22:01 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=subject:to:references:from:message-id:date:user-agent:mime-version
18 :in-reply-to:content-transfer-encoding:content-language;
19 bh=F4EP+VVNr51PHtPbsfHw1znagpmQGyMnapLQOZi5LCg=;
20 b=OTdsfzc0fzm6jxfsyE31vl091iVSN/19K3dYkxZeKTSutyZU1d/nccDl1Lsmr7CP0I
21 MvkJYEscb3v0Dg3Bj3MlmQfcKehryob9ZsURkYxn08awLxIleQdjc5lh9AgRjt0+Z7H2
22 XDbvKmQPNhOFj3G+M1hO7NhD6EEX603+coU36N9/Iv6VfIXm1HFOajboV1Yznew1YVYj
23 4/XKfndlwz5Plsodlzf8n0APaA/T53DVIBsJBR30ODiyNkxi5LCSpWBrv+cWpf1ifEK2
24 RZ2tw/lOCiBOhbpZenKi8J8JjcXCTpvv447FlAj4DpY+uQpVZoKp2EQri3pMokDpTcMw
25 y1tw==
26 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
27 d=1e100.net; s=20161025;
28 h=x-gm-message-state:subject:to:references:from:message-id:date
29 :user-agent:mime-version:in-reply-to:content-transfer-encoding
30 :content-language;
31 bh=F4EP+VVNr51PHtPbsfHw1znagpmQGyMnapLQOZi5LCg=;
32 b=U7JTiXe7xzr4Xf6ddJtXfFA37ZhgeCrRkTzB8jaIx9FjTeGEdYq7MfW0FjaIQr78rp
33 H1Tt1q89e9F0lyu5sTajnKC0eBXxKT9NSjTw91diAg7jJv/m/7LRuadKYFFBmqdU/XFy
34 f7t8dRF0jX5VFJq/Wqwxzjy7/P9PEKs3V4moeFDc6ZGGtTOZsjzwO1NYzoB30ls3+PHZ
35 l1+mkZyv9BBsjgTj2NqHXIiTXEXOoMmEbhruXtJ0hKju8pPfiPAMqacNXOLcjifc/jLZ
36 d1fOz4z1v2JFpL43GrmbloaWaHvtrnINuPaYz8gmBXsWUJuUp3CZMgailoMKiz11faqA
37 7yPw==
38 X-Gm-Message-State: AGi0PuaWBvzFVgcYS5fuPA8VNEvzUODitpNbwb5Ph5OfTNlCSZer8zSp
39 oK4kqBpCMwTnZbk/2MbC1b2Xe9PL
40 X-Google-Smtp-Source: APiQypJ9ZXmXI0w4GG2nyaOKqz+fDESSXuVWAPmFcOt12KhR75D92e5NWhirVlLUOwgLFtNvmDjeQw==
41 X-Received: by 2002:ac8:48cd:: with SMTP id l13mr1239038qtr.202.1588951319317;
42 Fri, 08 May 2020 08:21:59 -0700 (PDT)
43 Received: from ?IPv6:2600:1700:3fa0:6720:667a:121f:c067:22f2?
44 ([2600:1700:3fa0:6720:667a:121f:c067:22f2])
45 by smtp.gmail.com with ESMTPSA id j9sm1356427qkk.99.2020.05.08.08.21.58
46 for <libre-riscv-dev@lists.libre-riscv.org>
47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
48 Fri, 08 May 2020 08:21:58 -0700 (PDT)
49 To: libre-riscv-dev@lists.libre-riscv.org
50 References: <CAPweEDw-nM8HiGuMaSZPsvf0HBJCCpAfRQjJJOpUZce7uiBOrQ@mail.gmail.com>
51 <70a36b10-a95d-c956-03a0-c0c4dfda6f0d@gmail.com>
52 <CAPweEDwaffb9wvD7-Vg3ODfRdocVyLjf_qzBted-i_ZefL0wXA@mail.gmail.com>
53 From: Michael Nolan <mtnolan2640@gmail.com>
54 Message-ID: <825df4ef-1fe2-462e-aaeb-dd59e460ac88@gmail.com>
55 Date: Fri, 8 May 2020 11:21:57 -0400
56 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
57 Firefox/68.0 Thunderbird/68.7.0
58 MIME-Version: 1.0
59 In-Reply-To: <CAPweEDwaffb9wvD7-Vg3ODfRdocVyLjf_qzBted-i_ZefL0wXA@mail.gmail.com>
60 Content-Language: en-US
61 Subject: Re: [libre-riscv-dev] daily kan-ban update 08mar2020
62 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
63 X-Mailman-Version: 2.1.23
64 Precedence: list
65 List-Id: Libre-RISCV General Development
66 <libre-riscv-dev.lists.libre-riscv.org>
67 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
68 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
69 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
70 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
71 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
72 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
73 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
74 Reply-To: Libre-RISCV General Development
75 <libre-riscv-dev@lists.libre-riscv.org>
76 Content-Transfer-Encoding: base64
77 Content-Type: text/plain; charset="utf-8"; Format="flowed"
78 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
79 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
80
81 T24gNS84LzIwIDExOjEwIEFNLCBMdWtlIEtlbm5ldGggQ2Fzc29uIExlaWdodG9uIHdyb3RlOgo+
82 IHllcyBwbGVhc2UuICBwbGVhc2UgcmFpc2UgYSBidWdyZXBvcnQgYWJvdXQgaXQsIGFzc2lnbiBp
83 dCB0byB5b3Vyc2VsZiwKPiBhbmQgbWFrZSBjZXJ0YWluIHRvIHVzZSB0aGUgUmVzZXJ2YXRpb25T
84 dGF0aW9ucyBiYXNlIGNsYXNzIGFuZCB0ZXN0Cj4gaW5mcmFzdHJ1Y3R1cmUgKHJ1bmZwKSBleGFj
85 dGx5IGFzIGkgZGVzY3JpYmVkIGluIGhlcmU6Cj4KPiBodHRwczovL2J1Z3MubGlicmUtc29jLm9y
86 Zy9zaG93X2J1Zy5jZ2k/aWQ9MjA4I2M1NQo+Cj4gKmFsbCogQUxVcyBuZWVkIHRvIGhhdmUgdGhh
87 dCBjb21tb24gaW50ZXJmYWNlIChtdWx0aXBsZQo+IGlucHV0cy1vdXRwdXRzKS4gIGlmIHlvdSBj
88 YW4sIHVzZSBydW5mcCAtIGlmIHRoZXJlJ3MgYW55IGFzc3VtcHRpb25zCj4gYWJvdXQgdGhlIGZv
89 cm1hdCBiZWluZyBGUCBudW1iZXJzLCBhZGQgYW4gZXh0cmEgcGFyYW1ldGVyIHdoaWNoIGRvZXMK
90 PiBkZWJ1ZyBwcmludGluZyBhcyBoZXhhZGVjaW1hbC4gIGkgKnRoaW5rKiBpdCBzaG91bGQgZG8g
91 dGhhdCBhbnl3YXkKPiBiZWNhdXNlIGkgdXNlZCB0aGUgc2FtZSBydW5mcCB0ZXN0IGNvZGUgZm9y
92 IEZQLXRvLUlOVCBhbmQgSU5ULXRvLUZQCj4KU2luY2UgcnVuZnAgYW5kIFJlc2VydmF0aW9uU3Rh
93 dGlvbnMgdXNlIEZQUGlwZUNvbnRleHQsIHNob3VsZCBpdCBiZSAKbW92ZWQgdG8gbm11dGlsPwoK
94 LS1NaWNoYWVsCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
95 X18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGli
96 cmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5m
97 by9saWJyZS1yaXNjdi1kZXYK
98