[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
[libre-riscv-dev.git] / 72 / 96cb3ef4e4e04046b3b19e07179a5b69d262e7
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Sat, 09 May 2020 12:33:41 +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 1jXNjg-0007C5-55; Sat, 09 May 2020 12:33:40 +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 1jXNje-0007Bz-92
11 for libre-riscv-dev@lists.libre-riscv.org; Sat, 09 May 2020 12:33:38 +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:MIME-Version;
15 bh=JRP6loVMIoqE02cFIKN6ga66pjDtxPMuXPntSWcg8Zk=;
16 b=cj+srIhEbDKwCCXkGIh12vpzc1rmDyC9Fj0VrA3E8rMZZNDGivesl36zVIOBkGYFL82UrrcdkQCLNnGo7fwkIKE5Mm+3H1Jgano5EhsyEAjm9dl08TQ3KV3AGIuetIH4IhMSNwu3yI0yOou2RK8en1uJqCZtEF4v5bVKeb6gZXs=;
17 Received: from mail-lj1-f182.google.com ([209.85.208.182])
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 1jXNjd-0007qx-Qu
20 for libre-riscv-dev@lists.libre-riscv.org; Sat, 09 May 2020 11:33:37 +0000
21 Received: by mail-lj1-f182.google.com with SMTP id e25so4410635ljg.5
22 for <libre-riscv-dev@lists.libre-riscv.org>;
23 Sat, 09 May 2020 04:33:22 -0700 (PDT)
24 X-Gm-Message-State: AOAM5316Gql9GtzgBd2ZkC5fDjMY0W++poYZKWak+sRzQH9gpiKcsvS+
25 le/cU3B4O7VZ3CYWsuLYk9QtsGdOt0hMZu6Rv0E=
26 X-Google-Smtp-Source: ABdhPJyu02Z3DoskjgyTUuoWh6/Z/3ETIoj2gLxXg9bNHYDx6HQcmswntbk9HtxVqJ/bxDEennKA2hIA9gGRrd3n+8U=
27 X-Received: by 2002:a2e:2245:: with SMTP id i66mr4635943lji.191.1589023996870;
28 Sat, 09 May 2020 04:33:16 -0700 (PDT)
29 MIME-Version: 1.0
30 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
31 Date: Sat, 9 May 2020 12:33:05 +0100
32 X-Gmail-Original-Message-ID: <CAPweEDyJo0AxYzCZWjpm_hOu8t6cKVhb0vVusbC6E8LYPjS2_A@mail.gmail.com>
33 Message-ID: <CAPweEDyJo0AxYzCZWjpm_hOu8t6cKVhb0vVusbC6E8LYPjS2_A@mail.gmail.com>
34 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
35 Subject: [libre-riscv-dev] daily kan-ban update 09may2020
36 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
37 X-Mailman-Version: 2.1.23
38 Precedence: list
39 List-Id: Libre-RISCV General Development
40 <libre-riscv-dev.lists.libre-riscv.org>
41 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
42 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
43 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
44 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
45 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
46 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
47 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
48 Reply-To: Libre-RISCV General Development
49 <libre-riscv-dev@lists.libre-riscv.org>
50 Content-Type: text/plain; charset="utf-8"
51 Content-Transfer-Encoding: base64
52 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
53 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
54
55 aSBhcHByZWNpYXRlIGl0J3MgdGhlIHdlZWtlbmQuICBkb24ndCBmZWVsIG9ibGlnYXRlZCB0byBy
56 ZXNwb25kIDopCgp5ZXN0ZXJkYXk6CgoqIGkgZ290IExEL1NUICJwcmVsaW1pbmFyeSIgd29ya2lu
57 ZyAtIGluZGV4ZWQgYW5kIGltbWVkaWF0ZSBtb2RlLCBhbHNvCmJ1Zy1maXhlZCBwcm90b3R5cGUv
58 c3RhbmQtaW4gTDBDYWNoZUJ1ZmZlcgoqIGRpZCBhIG1lbnRhbCAyLWhvdXIgY29udmVyc2F0aW9u
59 IGZvciB0aGUgbWFnYXppbmUgd2l0aCBKb2huIFNjb3R0CmZyb20gTWFya2V0TmV4dC4gIHZlcnkg
60 aW50ZXJlc3RpbmcgZ3V5LgoqIGhlbHBlZCBNaWNoYWVsIGdldCBzdGFydGVkIHdpdGggdGhlIEFM
61 VSBwaXBlbGluZSAoZG9jdW1lbnRlZCB0aGUKY29uY2VwdCBvZiBwYXJhbGxlbCBGdW5jdGlvbiBV
62 bml0cyBhcyBhIHNpZGUtZWZmZWN0KQoKdGhpcyBtb3JuaW5nOgoKKiBoZWxwZWQgWWVob3dzaHVh
63 IHdpdGggdGhlIHVzZSBvZiBwaW5tdXggKGJlY2F1c2UgaWYgd2UgdHJ5IHRvIGRvIGEKcGluIHNw
64 ZWMgd2l0aG91dCB1c2luZyBpdCwgb25lIHNpbmdsZSBjaGFuZ2UgLSBldmVuIGp1c3Qgb25lIG1v
65 dmVkIG9yCnJlbmFtZWQgcGluIC0gd2lsbCByZXF1aXJlIGNoYW5nZXMgdG8gRklWRSBvciBtb3Jl
66 IHNlcGFyYXRlIGZpbGVzLAppbmNsdWRpbmcgdGhlIGRvY3MsIHRoZSBzcGVjLCB0aGUgaGFyZHdh
67 cmUsIHRoZSBsaW51eCBrZXJuZWwgc291cmNlCmZpbGVzLCB0aGUgV2lzaGJvbmUgUmVnaXN0ZXIg
68 ZmlsZXMgLSBldmVyeXRoaW5nKQoqIGdvdCBMRC9TVCAiVXBkYXRlIiBtb2RlIHdvcmtpbmcgKHJl
69 dHVybnMgdGhlIEVmZmVjdGl2ZSBBZGRyZXNzCmFkZGl0aW9uIGFzIGEgMm5kIG91dHB1dCByZXN1
70 bHQpCiogd2F0Y2hlZCBwYXJ0IG9mIFNlYXNvbiAxMCBmaW5hbGUgb2YgQW1lcmljYW4gTmluamEg
71 V2FycmlvcgoKdG9kYXkncyBtYWluIHRhc2sgKGFuZCB0aGUgbmV4dCAyLTMgZGF5cykgd2lsbCBi
72 ZSB0byBpbnRlZ3JhdGUgdGhlCm1vZGlmaWNhdGlvbnMgdG8gTERTVENvbXBVbml0IGludG8gdGhl
73 IDY2MDBzY29yZWJvYXJkLiAgaXQgKnNlZW1zKgpsaWtlIGl0IHNob3VsZG4ndCB0YWtlIGxvbmcs
74 IGhvd2V2ZXIgdGhlIG51bWJlciBvZiByZWFkIHBvcnRzIGhhcwppbmNyZWFzZWQgdG8gMyBhbmQg
75 aXQncyB0aGUgZmlyc3QgQ29tcFVuaXQgdG8gaGF2ZSB0aGF0IG1hbnkuCgpob3dldmVyIGl0J3Mg
76 YSBiaWcgY29udGV4dC1zd2l0Y2ggYW5kIGknbSAtIG9uY2UgYWdhaW4gLSBpbiBhIGxvdCBvZgpw
77 YWluLCBoYXZpbmcgYmVlbiB1cCB0b28gbGF0ZSB5ZXN0ZXJkYXkuICBzbyB0b2RheSBpcyBsaWtl
78 bHkgdG8KaW52b2x2ZSBzdW5zaGluZSBhbmQgQW1lcmljYW4gTmluamEgV2Fycmlvci4KCmwuCgpf
79 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNj
80 di1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcK
81 aHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2
82 LWRldgo=
83