Return-path: Envelope-to: publicinbox@libre-riscv.org Delivery-date: Mon, 06 Apr 2020 11:39:30 +0100 Received: from localhost ([::1] helo=libre-riscv.org) by libre-riscv.org with esmtp (Exim 4.89) (envelope-from ) id 1jLPA9-0007ZD-4V; Mon, 06 Apr 2020 11:39:29 +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 ) id 1jLPA8-0007Z7-Ce for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 11:39:28 +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=W5P8N2FP+lnV78M3apK6JnFNCaSQv48wHIpp+noQ4po=; b=I1zxJv25jnKHxldebdIqseiuIrjWP+3fQ4FfsgKZ3t4POsSK+cExwTvZDVLcEFPJAcqPaJogbH8pwn6+kruxgch3+F7aJvEK3QrbL745KZ1B7FbH+l9gn8h+jXWG5/0WXsKXpNM04mXkDtA7wwROgchILEt0iw1HXVV8QH45KRg=; Received: from mail-lj1-f176.google.com ([209.85.208.176]) by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1jLPA8-0000T8-2L for libre-riscv-dev@lists.libre-riscv.org; Mon, 06 Apr 2020 10:39:28 +0000 Received: by mail-lj1-f176.google.com with SMTP id b1so14125048ljp.3 for ; Mon, 06 Apr 2020 03:39:12 -0700 (PDT) X-Gm-Message-State: AGi0PuZdOJsqpWaz6orw0EUPf0wcY2NHaZgBt3TgtxIihtF9ENLVH9WW 16PVYDwFhl20G03laxCNh0sHpxTgK5TbHJ2dS64= X-Google-Smtp-Source: APiQypIYDqya1ybeuh/7lnqldqbj4CN5OR7jKHs6zBjTa3PxB2n8QD6ma0oejeFaExEq9rRRy3xvEpAOv4k/TXtzJ8o= X-Received: by 2002:a2e:8903:: with SMTP id d3mr12170613lji.266.1586169547168; Mon, 06 Apr 2020 03:39:07 -0700 (PDT) MIME-Version: 1.0 References: <2d0e9496-606a-4399-d35b-e90bfd87f896@paape.io> <76668cf6-f408-d206-9d01-afc7e7684c51@paape.io> In-Reply-To: From: Luke Kenneth Casson Leighton Date: Mon, 6 Apr 2020 11:38:56 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Libre-RISCV General Development 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Libre-RISCV General Development 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" T24gTW9uLCBBcHIgNiwgMjAyMCBhdCAyOjA2IEFNIEphY29iIExpZnNoYXkgPHByb2dyYW1tZXJq YWtlQGdtYWlsLmNvbT4gd3JvdGU6Cgo+ID4gU2hvdWxkIGJlIHJlbGF0aXZlbHkgZWFzeSB0byB1 c2UgZ2l0bGFiJ3MgQVBJLgo+Cj4gT25lIGlkZWEgaXMgdG8gc3RvcmUgYWxsIHRoZSBzY3JhcGVk IGJ1aWxkIGxvZ3MgaW4gYSBnaXQgcmVwbywgd2hpY2gKPiBtYWtlcyBpdCBlYXN5IHRvIG1vdmUg aXQgYXJvdW5kIGFuZCBpbmNyZW1lbnRhbGx5IGRvd25sb2FkIHN0dWZmLgo+IFdlJ3JlIHdvcmtp bmcgb24gZG9pbmcgdGhlIHNhbWUgdGhpbmcgZm9yIHRoZSBtYWlsaW5nIGxpc3QuCgphcyBsb25n IGFzIGl0IGdldHMgc2VudCBieSBlbWFpbCBhIGxpc3QgY2FuIGJlIHNldCB1cCB0byBhcmNoaXZl IGZyb20gdGhlcmUuCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlz dHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9s aXN0aW5mby9saWJyZS1yaXNjdi1kZXYK