[libre-riscv-dev] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle...
[libre-riscv-dev.git] / ed / d80117733e587207f436bb51c753f47b1a86ad
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Fri, 03 Apr 2020 21:29:41 +0100
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-riscv.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jKSwe-0005eU-OG; Fri, 03 Apr 2020 21:29:40 +0100
8 Received: from mail-pj1-f46.google.com ([209.85.216.46])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <colepoirier@gmail.com>)
11 id 1jKSwc-0005eF-G6
12 for libre-riscv-dev@lists.libre-riscv.org; Fri, 03 Apr 2020 21:29:38 +0100
13 Received: by mail-pj1-f46.google.com with SMTP id z3so3471185pjr.4
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Fri, 03 Apr 2020 13:29:38 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=date:from:to:cc:message-id:in-reply-to:references:subject
18 :mime-version:content-transfer-encoding:content-disposition;
19 bh=2bevDA7c8TtmALC1Z0rHrMGa7QZ5sVv/wPYxLwkp+O0=;
20 b=kDpDuPzXncvO5BylTv/e65KXWIHntMaC6aaVwoEa12EotkyTGdqF4B+du1VADuIngs
21 8Opn2MsshXmDqa2kq6Fh2JJhNkCOsoihgdDP7wwkDqmE1hLnTet30Equy44ceu7AsUlc
22 X3q1mOLkaLuVEfde4eNd1jIjRiIQPW4xHv2OBU5cQWNNwZ7tFwOaZms6s4pFynbb9m3+
23 HsoM3bvEWxDVZOw5WO1oizTlHn4AJ1ou5rRWjx6//kRoDSYNi3FOH4TnZCYeHmHzhdS4
24 kHnlXe2C356wM9WtByp/5EMnEi5Gq4YculMUavedMFpT4EMb0EogxWqtK4vuAwBiApLP
25 Wdvw==
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:date:from:to:cc:message-id:in-reply-to
29 :references:subject:mime-version:content-transfer-encoding
30 :content-disposition;
31 bh=2bevDA7c8TtmALC1Z0rHrMGa7QZ5sVv/wPYxLwkp+O0=;
32 b=i4RryUaWpY4I2B20iRTp3G1j2gtIl8Si9f0U9zMLLsVFRSRvMpF+sWROsCxDZJFNnh
33 22/tU71r/wS17m00HUtnGwp+ME8aQfQCaedIvYSjFQXHDgFkEV31XehLt/q2vkJyapGP
34 ORpx6xlH1YKhM8S3cwEpuvSMFI2h7CAh1JzgqPone1BalI2VLqFMe4Z4QQDHQxEvFs7g
35 oZjSsnRT2tOQiXy2F761mX9PEwiHpmaQJv+EBu+ypIQeZI8gn/badGkJ05q9ll3k5xSe
36 w0NTCXTQAdJ5KVlilSObHeYS6/VlzjHZcazhD121KDUF6yAZnkAjrwUAu/W+SB0xCAI0
37 +kOA==
38 X-Gm-Message-State: AGi0PuY+b08vGmvAE1kXWTgnohNGpPCfY2PTxSev+fYPXiYIhbJMTYo7
39 CcDUmRet0Jtjbpk/EsehkCnWv2h+Zh2E2Q==
40 X-Google-Smtp-Source: APiQypJkSvUH/wIkcI8bIZlyLet8NK44SYBqBTLyXlAMHq7c1jiC7hoz8msFYKzlo7Cq6WejVrPEyQ==
41 X-Received: by 2002:a17:902:7245:: with SMTP id
42 c5mr9129555pll.142.1585945776804;
43 Fri, 03 Apr 2020 13:29:36 -0700 (PDT)
44 Received: from cherrytree ([2604:3d08:4680:c200:a1df:fccf:cdb3:ca69])
45 by smtp.gmail.com with ESMTPSA id 144sm6418662pfx.184.2020.04.03.13.29.36
46 for <libre-riscv-dev@lists.libre-riscv.org>
47 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
48 Fri, 03 Apr 2020 13:29:36 -0700 (PDT)
49 Date: Fri, 3 Apr 2020 13:29:35 -0700
50 From: Cole Poirier <colepoirier@gmail.com>
51 To: Libre-RISCV General Development
52 <libre-riscv-dev@lists.libre-riscv.org>
53 Cc: Libre-RISCV General Development
54 <libre-riscv-dev@lists.libre-riscv.org>
55 Message-ID: <334A2F2F-C435-4014-B67F-BD66F1479F30@getmailspring.com>
56 In-Reply-To: <CAPweEDyrDEkRLKwb+x-wq7jSz7+=gcDhkKVOVKTate4iU1T6pQ@mail.gmail.com>
57 References: <CAPweEDyrDEkRLKwb+x-wq7jSz7+=gcDhkKVOVKTate4iU1T6pQ@mail.gmail.com>
58 X-Mailer: Mailspring
59 MIME-Version: 1.0
60 Content-Disposition: inline
61 Subject: Re: [libre-riscv-dev] finishing off the crowdsupply update
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-Type: text/plain; charset="utf-8"
77 Content-Transfer-Encoding: base64
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 T24gQXByIDMgMjAyMCwgYXQgMTI6NDQgcG0sIEx1a2UgS2VubmV0aCBDYXNzb24gTGVpZ2h0b24g
82 PGxrY2xAbGtjbC5uZXQ+IHdyb3RlOgo+IG15IGZyaWVuZCBwaGlsIHRhdWdodCBtZSB0aGF0IG9u
83 ZS4gIHdpdGhvdXQgYSBmaXJzdCBlbXB0eSBjb21taXQgeW91Cj4gc2ltcGx5IGNhbm5vdCBkbyBh
84 ICJkaWZmIiBhZ2FpbnN0IHRoYXQgdmVyeSBmaXJzdCBjb21taXQuCj4gCj4gbC4KCldvdywgdGhh
85 dCdzIHF1aXRlIHRoZSB1c2VmdWwgcGllY2Ugb2Yga25vd2xlZGdlLiBNeSB0aGFua3MgdG8gcGhp
86 bCA6KQoKQ29sZQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
87 X18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGli
88 cmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5m
89 by9saWJyZS1yaXNjdi1kZXYK
90