Return-path: Envelope-to: publicinbox@libre-riscv.org Delivery-date: Sun, 29 Mar 2020 19:46:02 +0100 Received: from localhost ([::1] helo=libre-riscv.org) by libre-riscv.org with esmtp (Exim 4.89) (envelope-from ) id 1jIcwa-0007N1-SN; Sun, 29 Mar 2020 19:46:00 +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 1jIcwZ-0007Mv-AN for libre-riscv-dev@lists.libre-riscv.org; Sun, 29 Mar 2020 19:45:59 +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:References:In-Reply-To:MIME-Version; bh=FlNGt9bH+ILQorqpkY055oVXbIWtO7tubKFk5BVESe8=; b=nDUiylXQjxoWCpuEJEf36+O4ofBhQ0+EpbExhiLa2pOlmRXHuS4KoGsWWm+1SrF55rulZBWm6ZlAJgo8IvJBPgj955sXLMrPHft4iN7VXUzXdAv1A/cnXfnlHgwEjt2MWKQR+CVNw+18s4lhIh7MCR2bCQ5AQMvglU30iiZbJeM=; Received: from mail-lj1-f171.google.com ([209.85.208.171]) by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1jIcwY-0007Bn-WF for libre-riscv-dev@lists.libre-riscv.org; Sun, 29 Mar 2020 18:45:59 +0000 Received: by mail-lj1-f171.google.com with SMTP id p14so15597377lji.11 for ; Sun, 29 Mar 2020 11:45:43 -0700 (PDT) X-Gm-Message-State: AGi0PuaDiGNQx6THP/+8ECRxP3Ddfe0/ICjCWTIaDOyOBGX8OiF+61Zo UmK9KeTotPAP5JV3Sd6TLO22aAugxT2GMPqjU3I= X-Google-Smtp-Source: APiQypKaFVLCTy7blYHRTpgnPgrJnrPuR72uD6BsgJrdh4vCpDlRH/qpdLKSjw+Siyv/YnFxxg7jmmY/D56D1NOBnV0= X-Received: by 2002:a05:651c:1108:: with SMTP id d8mr5000621ljo.198.1585507538027; Sun, 29 Mar 2020 11:45:38 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:ab3:5808:0:0:0:0:0 with HTTP; Sun, 29 Mar 2020 11:45:36 -0700 (PDT) In-Reply-To: References: From: Luke Kenneth Casson Leighton Date: Sun, 29 Mar 2020 18:45:36 +0000 X-Gmail-Original-Message-ID: Message-ID: To: Libre-RISCV General Development X-Content-Filtered-By: Mailman/MimeDel 2.1.23 Subject: Re: [libre-riscv-dev] BlueSpec Floating Point 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" T24gU3VuZGF5LCBNYXJjaCAyOSwgMjAyMCwgSW1tYW51ZWwsIFllaG93c2h1YSBVIDx5aW1tYW51 ZWwzQGdhdGVjaC5lZHU+Cndyb3RlOgoKPiBJIGhhdmUgcmVjZW50bHkgYmVlbiBwbGF5aW5nIHdp dGggQmx1ZVNwZWMgYW5kIHRoZXkgaGF2ZSBzb21lIGxpYnJhcmllcwo+IGZvciBnZW5lcmF0aW5n IGZsb2F0aW5nIHBvaW50IHRoYXQgYWxzbyBjb21lIHdpdGggc29tZSBmb3JtYWwgbWV0aG9kcyBJ Cj4gdGhpbmsuCgoKYWggZ29vZC4KCgo+Cj4gV2Ugc2hvdWxkIGxvb2sgaW50byB0aGlzIGFzIGl0 IG1pZ2h0IHNhdmUgc29tZSB0aW1lIGZvciByZWNvbmZpZ3VyYWJsZSBGUC4KCgptYXliZSwgbWF5 YmUgbm90LiAgdGhlIGllZWU3NTQgZnAgbGlicmFyeSwgaW4gbm1pZ2VuLCBpcyBub3QganVzdApy ZWNvbmZpZ3VyZWFibGUgYXQgdGhlIGJpdCBsZXZlbCwgdGhlIHBpcGVsaW5lcyBhcmUgcmVjb25m aWd1cmVhYmxlIGFzCndlbGwuICBpIGp1c3QgZGVzY3JpYmVkIHRoYXQgcGFydGx5IG9ubHkgeWVz dGVyZGF5LgoKCgo+ICBBbHNvLCBCbHVlc3BlYyBjb21waWxlciBpcyBub3cgb3BlbiBzb3VyY2Ug dW5kZXIgYSBsaWNlbnNlIHRoYXTigJlzCj4gYmFzaWNhbGx5IHRoZSBCU0QgbGljZW5zZSwgc2Vl IGhlcmU6IGh0dHBzOi8vZ2l0aHViLmNvbS9CLUxhbmctb3JnLwo+IGJzYy9ibG9iL21hc3Rlci9M SUNFTlNFUy9MSUNFTlNFLmhiYwoKCmdvb2QuLi4gdGhlIHByb2JsZW0gaXMsIHRoYXQgZG9lc24n dCBoZWxwIHdpdGggdGhlIGFjdHVhbCBwcm9ncmFtbWFiaWxpdHkuCgppIHdvcmtlZCBpbiBpbmRp YSB3aXRoIG9uZSBvZiB0aGUgYmVzdCBwZW9wbGUgaW4gdGhpcyBmaWVsZCAoc2VlIHBpbm11eApj b2RlKSBhbmQgaXQgd2FzIGhlbGwuICByZWFsbHkuCgoKPgo+IEnigJl2ZSBzdWNjZXNzZnVsbHkg YnVpbHQgQlNDIG9uIE1hY09TIHRvbywgc28gaXRzIHByZXR0eSBmbGV4aWJsZSAtIG5vdCB0bwo+ IG1lbnRpb24gZmFzdC4KPiBXZSBjYW4gdGFrZSBlbWl0dGVkIEJTQyBWZXJpbG9nIGFuZCBwZXJo YXBzIGNvbnZlcnQgaXQgaW50byBuTWlnZW4gb25jZQo+IHdl4oCZdmUgcmFuIGFsbCB0aGUgZm9y bWFsIHRlc3RzIG9uIHRoZSBGUCB1bml0IGluIEJTVi4KCgp0aGUgdW5wcm9ncmFtbWFiaWxpdHkg YW5kIGxlYXJuaW5nIGN1cnZlLCByaWdodCBhdCBhIHByZXNzdXJlIHBvaW50IHdoZXJlCndlIGFy ZSBhYm91dCB0byBzdGFydCB1c2luZyBjb2RlIHRoYXQgdG9vayBvdmVyIHNpeCBtb250aHMgdG8g ZGVzaWduIGFuZAp2ZXJpZnksIG1ha2VzIHRoaXMgbm90IGEgdmlhYmxlIGlkZWEuCgpob3dldmVy ICpjcm9zcyogdmVyaWZpY2F0aW9uLCBydW5uaW5nIHRoZW0gc2lkZSBieSBzaWRlLCAqaXMqIGkg dGhpbmsKdmlhYmxlIGFuZCB1c2VmdWwuCgp0aGUgcmVhc29uaW5nIHRoZXJlIGlzIHRoYXQgd2Ug Y2FuIHVzZSB0aGVtLCBydW5uaW5nIHNpZGUgYnkgc2lkZSwgaW4gdGhlCnVuaXQgdGVzdHMsIGFu ZCBzZWVrIG91dCBkaXNjcmVwYW5jaWVzLgoKaXQnbGwgdGFrZSBhIHdlZWsgdG8gcnVuIGJ1dCB0 aGF0J3Mgb2suCgoKPgo+IElmIHlvdSBndXlzIHdhbnQgLSBJIGNhbiBhY3R1YWxseSB3b3JrIG9u IHRoZSBGUCB1bml0IGluIEJTViBhbmQgc2VlIGhvdwo+IHRoYXQgZ29lcy4KCgp5ZXMgcGxlYXNl LgoKYWxzbyBpZiB5b3UgY2FuIHdvcmsgb3V0IGhvdyB0aGUgZm9ybWFsIHByb29mcyB3b3JrLCBh bmQgaG93IHRvIGV4dHJhY3QgdGhlCmxpbmtzIGludG8gdGhlIEJTViBjb2RlIG9yIHBsdWcgaW4g dGhlIG5taWdlbiBsaWJyYXJ5LCB0aGF0IHdvdWxkIGJlIHJlYWxseQpoYW5keS4KCndlIGhhdmUg YW4gTkxOZXQgYnVkZ2V0IGZvciBGUC5Gb3JtYWwgcHJvb2Ygd29yayBidHcuCgpsLgoKCgoKCi0t IAotLS0KY3Jvd2QtZnVuZGVkIGVjby1jb25zY2lvdXMgaGFyZHdhcmU6IGh0dHBzOi8vd3d3LmNy b3dkc3VwcGx5LmNvbS9lb21hNjgKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZA bGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1h bi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK