Re: [libre-riscv-dev] LLHD: Rust is used to drive research in Hardware Design Languages

diff --git a/e3/52a66532775981b73fa053df404b8aa3c47e9f b/e3/52a66532775981b73fa053df404b8aa3c47e9f
new file mode 100644 (file)
index 0000000..3e3fc22
--- /dev/null
+++ b/e3/52a66532775981b73fa053df404b8aa3c47e9f
@@ -0,0 +1,85 @@
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Wed, 15 Apr 2020 00:43:54 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+       by libre-soc.org with esmtp (Exim 4.89)
+       (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+       id 1jOVDd-0004Xi-Hu; Wed, 15 Apr 2020 00:43:53 +0100
+Received: from mail-wm1-f50.google.com ([209.85.128.50])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <programmerjake@gmail.com>)
+ id 1jOVDb-0004XS-B1
+ for libre-riscv-dev@lists.libre-riscv.org; Wed, 15 Apr 2020 00:43:51 +0100
+Received: by mail-wm1-f50.google.com with SMTP id z6so16547322wml.2
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Tue, 14 Apr 2020 16:43:51 -0700 (PDT)
+DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
+ h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
+ bh=xqADG74hgKH2aFXUIYgOfcEEKdEzA/7kA6uzJ23nNTk=;
+ b=SBISB5fyG2O/AEzqEokI3lEqFc3A3hgKy6tK0lP81j/5mHKNSa8xijbi4XUysEvSQW
+ Bw5aaBWxilV6qT8Y1uJxdctGrEdaVmLrh+BgFyo5a+tk9tN/c8a/BkUXCwxucGZUxEuX
+ YDsji048uEuo4MlLJFYB++R5mkr97S8VC3sq5sAG/809odFiO6HSlFR/Y4/dxeUccxWV
+ X4N3Io0vfTsxzR9lw9yq0Ipnz6+SUkjwZrR1vx2TYL3X/SAX+e7Ppy318MiLV0v8kTAl
+ JwTSoTiOh28yOSXFcrTovgttmDzDVEGVWPrrggTFhwlhkNn9gPUgihu/Gwfyov5Obo0/
+ jzzg==
+X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
+ d=1e100.net; s=20161025;
+ h=x-gm-message-state:mime-version:references:in-reply-to:from:date
+ :message-id:subject:to;
+ bh=xqADG74hgKH2aFXUIYgOfcEEKdEzA/7kA6uzJ23nNTk=;
+ b=EV17rwEBfmUDIeK4Tm3CkkgdWs+deSWwSMFEuTmeMENg7GGlJArHkoVWX42HYbJ1Bg
+ k21Uhiv9H7w/WUZhUA8RR6oIQaNlsvhCbceQZiM2YNrdUF3J+eo1h570Ztqj68eZNF3G
+ EAo/ULItRi5BE81SwiV/nH3FC4b4K4uUov68bAg/JLxitcJVDuNSc3ijvhpKBhSZD93d
+ zEEMfrQmPGlvCHoan5f5H1OJVY0Bk6IzRR3nLXDl1Wkv01fjnseW9Ng7sUfdhDq2oQhg
+ tq7pnwfqXcU0jdBuN9L8muRDiB4Fkqzfg/w/Wi9Eev7csRaGc5nOEV/i3gbxMW0Cjj2J
+ lTKw==
+X-Gm-Message-State: AGi0PuZNCTDelI/nKVgcMWbyZlaRYpmlwwiu5uvxgHqtDXjfj7wsqFDK
+ ZYsxWEpfFsD2znueqNr1yvlE4K+e1kfCSOzEPHKEFjQh
+X-Google-Smtp-Source: APiQypIR98c76wMegOOVpNeQBYPiDaPlFGWgyrSOKbwuiIQ9xoE862b+FvmQOtJgwBaMtw9QOLpDc4MvOZL9WWU2Jj4=
+X-Received: by 2002:a1c:4989:: with SMTP id w131mr2322074wma.137.1586907830884; 
+ Tue, 14 Apr 2020 16:43:50 -0700 (PDT)
+MIME-Version: 1.0
+References: <CAC2bXD7puak40mJRbDn25BWk+m6kFvYzHsjJtnYuDX8GKDvC6w@mail.gmail.com>
+ <CAPweEDyjmV0mQES42dzvAdSi=hm83woZ9v3dEny5Cf97VkdZ+A@mail.gmail.com>
+In-Reply-To: <CAPweEDyjmV0mQES42dzvAdSi=hm83woZ9v3dEny5Cf97VkdZ+A@mail.gmail.com>
+From: Jacob Lifshay <programmerjake@gmail.com>
+Date: Tue, 14 Apr 2020 16:43:38 -0700
+Message-ID: <CAC2bXD5JajsQS3nJAoBjhr3x-MZokUBOWaQd27SbtMK5-TP1sg@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+X-Content-Filtered-By: Mailman/MimeDel 2.1.23
+Subject: Re: [libre-riscv-dev] LLHD: Rust is used to drive research in
+ Hardware Design Languages
+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>
+
+T24gVHVlLCBBcHIgMTQsIDIwMjAsIDE2OjIxIEx1a2UgS2VubmV0aCBDYXNzb24gTGVpZ2h0b24g
+PGxrY2xAbGtjbC5uZXQ+Cndyb3RlOgoKPiBPbiBXZWRuZXNkYXksIEFwcmlsIDE1LCAyMDIwLCBK
+YWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBnbWFpbC5jb20+Cj4gd3JvdGU6Cj4KPiA+IEZv
+dW5kIHRoaXMgdmVyeSBpbnRlcmVzdGluZyBwYXBlciBvbiBMTEhELCBhIG5ldyBJUiBmb3IgSERM
+cywgaW4gdGhpcwo+ID4gd2VlaydzIFRoaXMgV2VlayBpbiBSdXN0Ogo+ID4KPiA+IGh0dHBzOi8v
+YXJ4aXYub3JnL3BkZi8yMDA0LjAzNDk0Cj4gPgo+ID4gVGhlIHdlYnNpdGUgaXM6Cj4gPiBodHRw
+Oi8vbGxoZC5pby8KPgo+Cj4gYXcgbm90IGFub3RoZXIgb25lISBhbmQgZGlkIHRoZXkgYWRkIGl0
+IHRvIHlvc3lzPyBpZiBub3QgaXQgaXMKPiB1bmZvcnR1bmF0ZWx5IGp1c3QgYSB0b3kuICB5b3N5
+cyBpcyB0aGUgZGVmYWN0byBzdGFuZGFyZCBnYXRld2F5IHRvIEZQR0FzCj4gYW5kIEFTSUMgc3lu
+dGhlc2lzCgoKQ3JlYXRlZCBhbiBpc3N1ZSBmb3IgYWRkaW5nIFJUTElMIHN1cHBvcnQ6Cmh0dHBz
+Oi8vZ2l0aHViLmNvbS9mYWJpYW5zY2h1aWtpL2xsaGQvaXNzdWVzLzExNgoKSmFjb2IKX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2
+IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6
+Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+