[libre-riscv-dev] [Bug 332] Formal correctness proof needed for CR pipeline
[libre-riscv-dev.git] / ee / 36eb9ac6c0fdc501c9600d1a42042967f8aad1
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 21 May 2020 20:10:10 +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 1jbqa2-0002W7-FV; Thu, 21 May 2020 20:10:10 +0100
8 Received: from mail-wm1-f53.google.com ([209.85.128.53])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <programmerjake@gmail.com>)
11 id 1jbqa0-0002W1-R9
12 for libre-riscv-dev@lists.libre-riscv.org; Thu, 21 May 2020 20:10:08 +0100
13 Received: by mail-wm1-f53.google.com with SMTP id n18so7541279wmj.5
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Thu, 21 May 2020 12:10:08 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
18 bh=c3FVP/i76FVrtXmeMYgOcKik+g4VQlauMtrXU7ruXIM=;
19 b=dZmilfHpX8Uac3OAyu5Om18/oy6wE29tkOmjGIRuVk8ZEmYPlkSRpnQOHkSTuCdn1l
20 1ZIpG60t9zVCUtbSol9S+wc1YcnTWv3RJbqW548aI1m5BmHEX/ezF9ycn0aCvm8knwGd
21 QXQpcntFEh4qGhJTpcyhK5uSttCOqj2QW1bodQAdBliqoZHlGQrZZWfih1m+OLkWYHLB
22 FHxrWLakHWtzmes0//6qEsA9DsM0HFsdth2sxuwDIQQfYH7hrarzFExXizYJR6Dpvd6u
23 T0CncP7Ow6l97JXjfaOQIU1bSO5NTg1/BzsC8SgQtVVb2tdmyzkESW0omqTelZWiJhHn
24 J+1Q==
25 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
26 d=1e100.net; s=20161025;
27 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
28 :message-id:subject:to;
29 bh=c3FVP/i76FVrtXmeMYgOcKik+g4VQlauMtrXU7ruXIM=;
30 b=e/cqtj9TeXz4g42CvDBiVTTDdTSAbrU9PEVb3heeogjWSrFNDsuEjKUcBNDVbg9pnv
31 SAoXtbSQ48OYDLliclX28qTXy049mLBquoGGDcv3brNWoX/cFz8fAVK+De1wKizI+X8S
32 xEQI4KfogK+9B1e9+ROvUNjvsu9GYNnunzAZ+WSg10VLVRxRRGdonnJZwRkOCnblhUIv
33 NFz6j81+jH1WcBGy3DuO4hq+cXt3cf+2r/X6WwuNwbK+3YEWtT6HfF3cxo26FlNuANx/
34 Ggmehsbi2ynqQn8RrO0VkBnjKwzUsphmxcJGlbqNpVZIMi5AYrNL5MAmb35JnLZuynZu
35 SotA==
36 X-Gm-Message-State: AOAM531dMNucZVKKrCBiWor3Ik3qLRhIuLl39Pbg0SlVdNE1X+dgyg5n
37 ws3eXeSt79F9ScFYKu5NApu9EHgD2D7RRIlRnh39mg==
38 X-Google-Smtp-Source: ABdhPJyfJK+Zxn9NGf/H4zKY4zRoXPyuWDf8SBJXrIA2g6DeA5ghDLy0nuIhDjep4e/Qs5dozY4+DmgjPRrcXA12Fao=
39 X-Received: by 2002:a05:600c:21c1:: with SMTP id
40 x1mr9807513wmj.173.1590088208299;
41 Thu, 21 May 2020 12:10:08 -0700 (PDT)
42 MIME-Version: 1.0
43 References: <CAPweEDzB_kCw2ugMzJH4WE7sLTb6keYo1ymYQBAZAKTBKvBAuQ@mail.gmail.com>
44 <a4446783-4dd8-67c9-e987-b181c94399ed@gmail.com>
45 <CAPweEDw3Enq47+N=XGM6mca2oQyaK332i0C9kgGWgOkiB0yVMQ@mail.gmail.com>
46 <20200521203120.a0d54e65e41f24c9a404a6b1@platen-software.de>
47 <CAPweEDxF5WOuR=dDRZvrfNCOp8MWjF7zmccDLe0rcQxTEnu83Q@mail.gmail.com>
48 In-Reply-To: <CAPweEDxF5WOuR=dDRZvrfNCOp8MWjF7zmccDLe0rcQxTEnu83Q@mail.gmail.com>
49 From: Jacob Lifshay <programmerjake@gmail.com>
50 Date: Thu, 21 May 2020 12:09:56 -0700
51 Message-ID: <CAC2bXD4u3bDq=WRjXZC=dFm1D-vnP7Bzm_sh=Sp0=Reyya=9rQ@mail.gmail.com>
52 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
53 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
54 Subject: Re: [libre-riscv-dev] daily kan-ban update 21may2020
55 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
56 X-Mailman-Version: 2.1.23
57 Precedence: list
58 List-Id: Libre-RISCV General Development
59 <libre-riscv-dev.lists.libre-riscv.org>
60 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
61 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
62 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
63 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
64 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
65 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
66 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
67 Reply-To: Libre-RISCV General Development
68 <libre-riscv-dev@lists.libre-riscv.org>
69 Content-Type: text/plain; charset="utf-8"
70 Content-Transfer-Encoding: base64
71 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
72 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
73
74 V2lsbCBiZSBhdHRlbmRpbmcgdGhlIE9wZW5Qb3dlciB2aXJ0dWFsIG1lZXRpbmcgbGF0ZXIgdG9k
75 YXkuCndvcmtpbmcgb24gdGhlIG11bCBhbmQgZGl2IHVuaXRzIGFzIHdlbGwuCgpBbSBoZWxwaW5n
76 IGEgZnJpZW5kIGJ1aWxkIGEgY29tcHV0ZXIsIG1hbmFnZWQgdG8gYWNjaWRlbnRhbGx5IGdldCBh
77 biBJbnRlbAptb2JvIChnaWdhYnl0ZSBiMzY1bSBpbnN0ZWFkIG9mIGI0NTApIGFuZCBhbiBBTUQg
78 Y3B1LCBzbyBoYWQgdG8gc2VuZCB0aGUKbW9ibyBiYWNrIDooCgpKYWNvYgpfX19fX19fX19fX19f
79 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGlu
80 ZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3Rz
81 LmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
82