Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
Envelope-to: publicinbox@libre-riscv.org
Delivery-date: Fri, 03 Apr 2020 11:25:35 +0100
Received: from localhost ([::1] helo=libre-riscv.org)
	by libre-riscv.org with esmtp (Exim 4.89)
	(envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
	id 1jKJW2-0005mc-JI; Fri, 03 Apr 2020 11:25:34 +0100
Received: from lkcl.net ([217.147.94.29])
 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jKJW0-0005mW-8V
 for libre-riscv-dev@lists.libre-riscv.org; Fri, 03 Apr 2020 11:25:32 +0100
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
 s=201607131; 
 h=Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
 bh=batnc25EtUWVlsJLpxkSAuz4b0mmunuOz5vlAlbUud0=; 
 b=Fw4siGHRCxhfyg1DykvJe//2GQcCuEu/VSQommrq0C6b3GIYGbkITsPdpXPA0uRnWPK8tPjUG1zkkyQjuxqkMc7NREHy4jMDbE40nP5E+8bIbyydtzFTVZh6C9bDLYY/uWb4bUOWjtbaPsuWdwem/O0QzDajWVsOUIMqT27wvI4=;
Received: from mail-lf1-f42.google.com ([209.85.167.42])
 by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jKJVz-00024r-TI
 for libre-riscv-dev@lists.libre-riscv.org; Fri, 03 Apr 2020 10:25:32 +0000
Received: by mail-lf1-f42.google.com with SMTP id e7so5363411lfq.1
 for <libre-riscv-dev@lists.libre-riscv.org>;
 Fri, 03 Apr 2020 03:25:16 -0700 (PDT)
X-Gm-Message-State: AGi0PuZiLw9HjZx+NLomGMTIzkUadN0Od13d03REBZkkAkU8Ynbrimxz
 BwGGs8F2d7TOBkt84GaNbBJVX4172dnVn1KJcLc=
X-Google-Smtp-Source: APiQypLOz+mPJ74m0GWGxR6YAIZxy4GlvbgY1h+vNefdUMgoQ7dWXh0MA7h+S6RrCQyLqNIICaBz7rrmODoQrbFILJw=
X-Received: by 2002:a19:c607:: with SMTP id w7mr4530644lff.32.1585909511010;
 Fri, 03 Apr 2020 03:25:11 -0700 (PDT)
MIME-Version: 1.0
References: <CAC2bXD74QdtDc_7=ojaFc0ED4R3SzPGKS2b4s+mjshi-3ph=ag@mail.gmail.com>
In-Reply-To: <CAC2bXD74QdtDc_7=ojaFc0ED4R3SzPGKS2b4s+mjshi-3ph=ag@mail.gmail.com>
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 3 Apr 2020 11:24:57 +0100
X-Gmail-Original-Message-ID: <CAPweEDxvT1sqvKa6oq=_E25zM3wdmA5yeP3=3A8iMUkoW4PdzQ@mail.gmail.com>
Message-ID: <CAPweEDxvT1sqvKa6oq=_E25zM3wdmA5yeP3=3A8iMUkoW4PdzQ@mail.gmail.com>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI
 desperately needed
X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: Libre-RISCV General Development
 <libre-riscv-dev.lists.libre-riscv.org>
List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>, 
 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>, 
 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
Reply-To: Libre-RISCV General Development
 <libre-riscv-dev@lists.libre-riscv.org>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>

T24gRnJpLCBBcHIgMywgMjAyMCBhdCA4OjA0IEFNIEphY29iIExpZnNoYXkgPHByb2dyYW1tZXJq
YWtlQGdtYWlsLmNvbT4gd3JvdGU6Cj4KPiBUaGUgaWVlZTc1NGZwdSByZXBvIGlzIGZpbGxlZCB3
aXRoIHRlc3RzIHRoYXQgZG9uJ3Qgd29yayBiZWNhdXNlIG9mCj4gc3R1ZmYgbGlrZSBjbGFzc2Vz
IGFuZCBpbXBvcnRzIGJlaW5nIGRlbGV0ZWQvcmVuYW1lZCwgYWxvbmcgd2l0aCBhIGZldwo+IGZp
bGVzIHRoYXQgYXJlIGp1c3Qgc3ludGF0aWNhbGx5IGluY29ycmVjdC4gSSd2ZSBnaXZlbiB1cCBv
biBjbGVhbmluZwo+IGl0IHVwIGFuZCBoYXZpbmcgYW55dGhpbmcgbGlrZWx5IHRvIHN0aWxsIHdv
cmsgYnkgdGhlIHRpbWUgSSdtIGRvbmUuCgpjb21taXQgd2hhdCB5b3UgaGF2ZS4gIGl0IGRvZXNu
J3Qgc3VycHJpc2UgbWUgYmVjYXVzZSBpIHN0b3BwZWQgdHJ5aW5nCnRvIGdldCB0aGUgRlNNIGZ1
bmN0aW9uYWxpdHkgcnVubmluZywgZm9jdXNzZWQgaW5zdGVhZCBvbiB0aGUKcGlwZWxpbmVzLCBh
bmQgZGlkIGEgY29kZSByZW9yZyBpbiB0aGUgbWlkZGxlLgoKdGhlbiBubWlnZW4gaGFzIG1vcnBo
ZWQgYXMgd2VsbCBhbmQgYmVjYXVzZSB0aGUgdGVzdHMgdGFrZSBzbyBsb25nIGkKaGF2ZW4ndCBy
dW4gdGhlbS4KCj4gTHVrZSwgZG8geW91IHdhbnQgdG8gdHJ5IHRvIGNsZWFuIGl0IHVwPwoKZGVl
cCBicmVhdGg6IGlmIGl0IHRha2VzIHN1Y2ggYSBsb25nIHRpbWUgaSBhbSB0ZW1wdGVkIHRvIHN1
Z2dlc3QgdGhhdAp3ZSBhbGwgdGFja2xlIGl0IChhcyBhbmQgd2hlbikuCgo+IFRoaXMgaXMgc29t
ZXRoaW5nIHRoYXQgY291bGQgaGF2ZSBiZWVuIGNhdWdodCBiZWZvcmUgaXQgZGVzY2VuZGVkIGlu
dG8KPiBjaGFvcyBieSBoYXZpbmcgQ0kgYmVjYXVzZSBpdCB3b3VsZCBmYWlsIGFuZCBzb21lb25l
IHdvdWxkIGdldCBhbgo+IGVtYWlsIHdoZW4gcGVvcGxlIGJyZWFrIHN0dWZmLCBoZW5jZSB3aHkg
SSdtIHRyeWluZyB0byBhZGQgQ0kuCgpnb29kIGNhbGwuCgpvaC4KCndlIG5lZWQgYSBDSSBvdXRw
dXQgbGlzdC4KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
CmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJl
LXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8v
bGlicmUtcmlzY3YtZGV2Cg==