[libre-riscv-dev] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle...
[libre-riscv-dev.git] / 64 / c486d07f553b72581401b822e33f63bb6cbc5f
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 20 May 2020 19:43:48 +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 1jbTgx-0000kd-EN; Wed, 20 May 2020 19:43:47 +0100
8 Received: from mail-wr1-f41.google.com ([209.85.221.41])
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 1jbTgv-0000kX-Ar
12 for libre-riscv-dev@lists.libre-riscv.org; Wed, 20 May 2020 19:43:45 +0100
13 Received: by mail-wr1-f41.google.com with SMTP id l18so4220569wrn.6
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Wed, 20 May 2020 11:43:45 -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=5awvoa00syJFiL3gTdNPGEyGmKPJyOs0XpugjlTp1lY=;
19 b=d1YX6aRkt48va2nLplvaEjuBgp6/Q0rMim6Eo+BJ8+WgQbJF5PpxuTWpNwrSXHehXr
20 YblIw2zbyQ+lUW2CjiBBJ+R8lnpWlakOMYh3clgdIfAxYmfEKguv4kY9c0/ER0fUj950
21 wOdPEdvz4hLcDfpD+T4ZCZaVOY2JK02n/untedxOZjwW9G+tWnKriopA9LkxWWAhfegb
22 a50NHE29Q1oDDuhiDWcQJRdnuVEIFQUruOpLcZCVpdT1IHhI7sSJG87duGvRMm470Wkp
23 L7d1NatLFGJIdwqD2pWZwC5qjcNuOp5G1zPBshcOl9M/Pk8pBDylt9WUEKSWewwNG+9e
24 A9Qg==
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=5awvoa00syJFiL3gTdNPGEyGmKPJyOs0XpugjlTp1lY=;
30 b=kDAUCVr+ab3Rlz7dc05W4O8eDrYGGauDibvzzByjtQJLpjaNBx6gM0Cvkx44GBbv/d
31 fPF/GTHSDnUzMujxqXw/Ueedk2akitKGlwGWGcBeZ6KNBIkGdBop0DMP57R7gS5CUJcx
32 YVGSe9cAifbmWPWDO0SUmWJKmMDb273a2BNOMS55LWShtzl96qykpZARMD5vEV3Infx7
33 l631K+tPPrtlHNWTlhJ88NISPofXkrKUXE/iwqnWnDLayUol69fzpkGqYdGf8Qx3dJcp
34 gsFftaHKjbGaFpnAYg0JX0TLLZ6zYbTaGDg1cKLdEoFGt+/bHKarUNqxeM5EFhfTkDpm
35 N1yg==
36 X-Gm-Message-State: AOAM531wAyENXBh/xWOXS0azjpXXMAri/4/cIMKKM5OO2R8bIeTmdiZn
37 Tqw9trIm1WGaTVlurPiIrp2zSbNXgE3wQGJSecbTqA==
38 X-Google-Smtp-Source: ABdhPJydl2joCj3DhbwBGo9wDxkSGBp7OV6M9cE7b664WW0vL+Mtdqawb3WOHZ8f1JKA+iBPAjF/sfLZPJ+2zsNoAoo=
39 X-Received: by 2002:a5d:4ccd:: with SMTP id c13mr5314913wrt.415.1590000224674;
40 Wed, 20 May 2020 11:43:44 -0700 (PDT)
41 MIME-Version: 1.0
42 References: <bug-313-13@https.bugs.libre-soc.org/>
43 <bug-313-13-nx9xkevLxf@https.bugs.libre-soc.org/>
44 In-Reply-To: <bug-313-13-nx9xkevLxf@https.bugs.libre-soc.org/>
45 From: Jacob Lifshay <programmerjake@gmail.com>
46 Date: Wed, 20 May 2020 11:43:32 -0700
47 Message-ID: <CAC2bXD5ERSGx8TkYjQ2=Gk29Qfn-a1DqtSVAjS73pBp1AG5qDA@mail.gmail.com>
48 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
49 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
50 Subject: [libre-riscv-dev] monorepo
51 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
52 X-Mailman-Version: 2.1.23
53 Precedence: list
54 List-Id: Libre-RISCV General Development
55 <libre-riscv-dev.lists.libre-riscv.org>
56 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
57 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
58 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
59 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
60 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
61 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
62 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
63 Reply-To: Libre-RISCV General Development
64 <libre-riscv-dev@lists.libre-riscv.org>
65 Content-Type: text/plain; charset="utf-8"
66 Content-Transfer-Encoding: base64
67 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
68 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
69
70 T24gVHVlLCBNYXkgMTksIDIwMjAsIDE0OjQxIDxidWd6aWxsYS1kYWVtb25AbGlicmUtc29jLm9y
71 Zz4gd3JvdGU6Cgo+IGh0dHBzOi8vYnVncy5saWJyZS1zb2Mub3JnL3Nob3dfYnVnLmNnaT9pZD0z
72 MTMKPgo+IC0tLSBDb21tZW50ICMyOSBmcm9tIEx1a2UgS2VubmV0aCBDYXNzb24gTGVpZ2h0b24g
73 PGxrY2xAbGtjbC5uZXQ+IC0tLQo+IChJbiByZXBseSB0byBKYWNvYiBMaWZzaGF5IGZyb20gY29t
74 bWVudCAjMjgpCj4gPiAoSW4gcmVwbHkgdG8gTWljaGFlbCBOb2xhbiBmcm9tIGNvbW1lbnQgIzI3
75 KQo+Cj4gPiA+IFllcC4uLiBJIGhhdmVuJ3QgaGFkIHRoYXQgaGFwcGVuIHRvIG1lIHlldCwgYnV0
76 IGl0J3MgcGlzc2luZyBtZSBvZmYKPiB0b28uCj4gPgo+ID4gV2UgZGVmaW5pdGVseSBzaG91bGQg
77 bW92ZSB0byBhIG1vbm9yZXBvCj4KPiBuby4gIHRoYXQgc2VuZHMgdGhlIHdyb25nIG1lc3NhZ2Us
78 IHVuZm9ydHVuYXRlbHkgW2l0IHNheXMsIHZlcnkgbG91ZGx5LAo+ICJvdGhlcgo+IHNwZWNpZmlj
79 IGZvY3Vzc2VkIGFsdGVybmF0aXZlIHVzZXMgZm9yIG91ciB3b3JrIG5vdCB3ZWxjb21lLCBpbiB0
80 aGUKPiBzbGlnaHRlc3QuCj4gZG93bmxvYWQgb3VyIG1vbm9yZXBvIGNvbnRhaW5pbmcgZXZlcnl0
81 aGluZyB5b3UgZG9uJ3Qgd2FudCBvciBuZWVkLCBhbmQKPiBsaWtlCj4gaXQuICBvciBHbyBIb21l
82 LiAgd2UgZG9uJ3QgY2FyZSJdCj4KCndoYXQgYWJvdXQgaWYgd2UgaGF2ZSBhIG1vbm9yZXBvIHdo
83 ZXJlIHdlIGhhdmUgYW4gYXV0b21hdGljYWxseSB1cGRhdGVkCnJlYWQtb25seSBnaXQgbWlycm9y
84 cyBmb3IgdGhlIHN1YmRpcmVjdG9yaWVzIHRoYXQgY2FuIGJlIHVzZWQgaW5kZXBlbmRlbnRseQph
85 cyB3ZWxsIGFzIGRvY3VtZW50aW5nIHRoYXQgZXZlcnl3aGVyZSBpdCdzIHJlbGV2YW50PyBUaGF0
86 IHdvdWxkIHF1aXRlCmV4cGxpY2l0bHkgZ2l2ZSB0aGUgbWVzc2FnZSB0aGF0IHRob3NlIHN1YmRp
87 cmVjdG9yaWVzIGFyZSBpbnRlbmRlZCB0byBiZQp1c2FibGUgc2VwYXJhdGVseSBmcm9tIHRoZSBy
88 ZXN0IG9mIG91ciBjb2RlLgoKPgo+IHdoZW4geW91IGhhdmUgdGltZSwgbG9vayB1cCB0aGUgbmln
89 aHRtYXJlIG9mIGZyZWVzd2l0Y2ggaWdub3Jpbmcgc3RhbmRhcmQKPiBkZXZlbG9wbWVudCBwcmFj
90 dGljZXMgd2hlbiBpdCBjb21lcyB0byBkZXBlbmRlbmN5IG1hbmFnZW1lbnQuCj4KCkknbSBub3Qg
91 YWR2b2NhdGluZyBmb3IgdXMgdG8gaGF2ZSBhbGwgZXh0ZXJuYWwgZGVwZW5kZW5jaWVzIGJlIGEg
92 cGFydCBvZgpvdXIgbW9ub3JlcG8sIG9ubHkgdGhlIGNvZGUgd2UgYXJlIGFjdGl2ZWx5IGRldmVs
93 b3BpbmcgYW5kIGlzIGNsb3NlbHkKcmVsYXRlZDogbm11dGlsLCBzb2MsIGllZWU3NTRmcHUsIGFu
94 ZCBwcm9iYWJseSB0aGUgbGF5b3V0IGNvZGUuIG5taWdlbiAoYW5kCm1heWJlIGNvcm9saXMyKSB3
95 b3VsZCBiZSBhIHN1Ym1vZHVsZSBzaW5jZSBpdCBvZnRlbiBjaGFuZ2VzIGFuZCBpcyBub3QgcGFy
96 dApvZiBsaWJyZS1zb2MsIGV2ZXJ5dGhpbmcgZWxzZSBkb2Vzbid0IGNoYW5nZSB0aGF0IG9mdGVu
97 IGFuZCBkb2Vzbid0IG5lZWQgdG8KYmUgc3luY2hyb25pemVkIHdpdGggb3VyIGNvZGUuCgo+Cj4g
98 dGhlIGludGVudGlvbiBvZiBoYXZpbmcgdGhlIGNzdiBhbmQgaXNhdGFibGVzIGluIHRoZSB3aWtp
99 IGlzIHRvIG1ha2UgaXQKPiBjbGVhcgo+IHRoYXQgdGhleSBhcmUgaW5kZXBlbmRlbnRseSB1c2Vh
100 YmxlICpvdXRzaWRlKiBvZiBvdXIgcHJvamVjdC4KPgoKdGhleSB3b3VsZCBiZSBtaXJyb3JlZCB0
101 byB0aGVpciBvd24gZ2l0IHJlcG8gKHdlIHdvdWxkbid0IG5lZWQgdGhlIHdlaXJkCi50ZXh0IGV4
102 dGVuc2lvbiksIHdlIGNvdWxkIGFsc28gbWlycm9yIHRoZW0gdG8gdGhlIHdpa2kgaWYgZGVzaXJl
103 ZC4KCj4KPiB3aXRob3V0IHJlcXVpcmluZyBnaWdhYnl0ZSBhZGRpdGlvbmFsIGRvd25sb2FkcyBh
104 bmQgZGVwZW5kZW5jaWVzIHdoaWNoIHdlCj4gbmVlZAo+IGJ1dCB0aGV5IG1vc3QgY2VydGFpbmx5
105 IGRvIG5vdC4KPgpoYXZpbmcgc2VwYXJhdGUgZ2l0IG1pcnJvcnMgd291bGQgbWFrZSBpdCB1bm5l
106 Y2Vzc2FyeSB0byBkb3dubG9hZCBhbGwgb3VyCmNvZGUgdG8gdXNlIHNvbWUgcG9ydGlvbiBvZiBp
107 dC4KCkphY29iCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
108 CmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJl
109 LXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8v
110 bGlicmUtcmlzY3YtZGV2Cg==
111