f5/96206c9464eba356bc84d7f735a0fa698b7187

   1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
   2 Envelope-to: publicinbox@libre-riscv.org
   3 Delivery-date: Sun, 07 Jun 2020 00:35:18 +0100
   4 Received: from localhost ([::1] helo=libre-riscv.org)
   5         by libre-soc.org with esmtp (Exim 4.89)
   6         (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
   7         id 1jhiLN-0007Pm-Gx; Sun, 07 Jun 2020 00:35:17 +0100
   8 Received: from lkcl.net ([217.147.94.29])
   9  by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  10  (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jhiLM-0007Pe-1l
  11  for libre-riscv-dev@lists.libre-riscv.org; Sun, 07 Jun 2020 00:35:16 +0100
  12 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
  13  s=201607131;
  14  h=Content-Transfer-Encoding:Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
  15  bh=CDt6iPnBDdK1E12YDZ7wWA9+mr0PziscWE389+qVQGE=;
  16  b=P4DEHm7r/s9B9nQaiKFK7KtXI/L1d2lhBjPrzEmVM8cjNzKjWQFUrwVb+BKIXamdZOc8kaIq7QTsyrdyf+WStCHZHJKG34AKDaOkKSUFO+moJTxl+mnNkrc/BLjNeMxWoQP9kc5P4pA9GQCpvDvVwGexTaM1ltnyVitn+B+uarg=;
  17 Received: from mail-lf1-f44.google.com ([209.85.167.44])
  18  by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  19  (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jhiLL-0005y1-PD
  20  for libre-riscv-dev@lists.libre-riscv.org; Sat, 06 Jun 2020 23:35:15 +0000
  21 Received: by mail-lf1-f44.google.com with SMTP id c12so8001413lfc.10
  22  for <libre-riscv-dev@lists.libre-riscv.org>;
  23  Sat, 06 Jun 2020 16:35:00 -0700 (PDT)
  24 X-Gm-Message-State: AOAM5337rRSKJsFN66LFtm+ZrZfHVsFUOaRfblgAnr18LOTuiA4K6khq
  25  3oOONqi258hxhq1s4l0spxpaoZLMk88q2fdrwys=
  26 X-Google-Smtp-Source: ABdhPJyIqx26Gk2G+olYpsRDvicht/99YfefMFMEjbj2u0+cMeuOX+iVwsgUhcWt4q4L047MgXoQpBWSjQ+ms7nF4k8=
  27 X-Received: by 2002:a19:c1c3:: with SMTP id r186mr8624677lff.49.1591486494945;
  28  Sat, 06 Jun 2020 16:34:54 -0700 (PDT)
  29 MIME-Version: 1.0
  30 References: <CAE_rhwZK4FeFHDh4SNiUozji1vR1L4Xm=+BVBRuxHMw49CsMhQ@mail.gmail.com>
  31  <8931BBAF-3BC2-43CD-BB7B-DD0AEAB17F2B@gatech.edu>
  32  <CAPweEDxD72iib+ieBdNr6HVgHnkQDbq=5jogFj+VMR-Q6fSSCg@mail.gmail.com>
  33  <34CE8AF9-38A7-49C1-8F19-F8DC89EFE350@gatech.edu>
  34 In-Reply-To: <34CE8AF9-38A7-49C1-8F19-F8DC89EFE350@gatech.edu>
  35 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
  36 Date: Sun, 7 Jun 2020 00:34:43 +0100
  37 X-Gmail-Original-Message-ID: <CAPweEDwo92zyApEmnqRHrVxFAySFSjD1=k7Xp6e0myjH6M55jg@mail.gmail.com>
  38 Message-ID: <CAPweEDwo92zyApEmnqRHrVxFAySFSjD1=k7Xp6e0myjH6M55jg@mail.gmail.com>
  39 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
  40 Subject: Re: [libre-riscv-dev] FHDLTestCase
  41 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
  42 X-Mailman-Version: 2.1.23
  43 Precedence: list
  44 List-Id: Libre-RISCV General Development
  45  <libre-riscv-dev.lists.libre-riscv.org>
  46 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
  47  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
  48 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
  49 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
  50 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
  51 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
  52  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
  53 Reply-To: Libre-RISCV General Development
  54  <libre-riscv-dev@lists.libre-riscv.org>
  55 Content-Type: text/plain; charset="utf-8"
  56 Content-Transfer-Encoding: base64
  57 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
  58 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
  59
  60 LS0tCmNyb3dkLWZ1bmRlZCBlY28tY29uc2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93
  61 ZHN1cHBseS5jb20vZW9tYTY4CgpPbiBTdW4sIEp1biA3LCAyMDIwIGF0IDEyOjIyIEFNIFllaG93
  62 c2h1YSA8eWltbWFudWVsM0BnYXRlY2guZWR1PiB3cm90ZToKPgo+ID4KPiA+PiBXaGljaCByZW1p
  63 bmRzIG1lLCB3ZSBuZWVkIHRvIHNlcGFyYXRlIEZIRExUZXN0Q2FzZSBjbGFzcwo+ID4+IGludG8g
  64 dGhlIG5tdXRpbHMgcmVwbyBzaW5jZSBpdCdzIG5vIGxvbmdlciBvZmZpY2lhbGx5IG1haW50YWlu
  65 ZWQuCj4gPgo+ID4gKGkndmUgZG9uZSB0aGF0IGFscmVhZHkuICB3ZSBhbHNvIG5lZWQgdG8gdGFr
  66 ZSBhIGNvcHkgb2YgdGhlCj4gPiBubWlnZW4uX3Rvb2xzLnB5IGNvZGUuICBjb3VsZCB5b3UgYXNr
  67 IHdoaXRlcXVhcmsgaWYgc2hlIGV4cGVjdHMgdGhhdAo+ID4gdG8gYWxzbyBoYXBwZW4sIHRoYXQg
  68 d2UgY3JlYXRlIG11bHRpcGxlIGNvcGllcyBvZiBtb3JlIGFuZCBtb3JlIGNvZGUKPiA+IGZyb20g
  69 bm1pZ2VuPykKPiA+Cj4KPiBKdXN0IG5vdyBzZWVpbmcgdGhpcy4gR2xhZCB5b3UgZGlkIHRoYXQh
  70 Cgpmcm9tIG5taWdlbi5fdG9vbGNoYWluIGltcG9ydCByZXF1aXJlX3Rvb2wKCmh0dHBzOi8vZ2l0
  71 LmxpYnJlLXNvYy5vcmcvP3A9bm11dGlsLmdpdDthPWJsb2I7Zj1zcmMvbm11dGlsL2Zvcm1hbHRl
  72 c3QucHk7aGI9SEVBRAoKCj4gSeKAmWxsIGFzay4KCmJhc2ljYWxseSwgd2l0aG91dCBjb21pbmcg
  73 b3V0IGFuZCBhY3R1YWxseSBzYXlpbmcgInRoaXMgaXMgY29tcGxldGVseQpyaWRpY3Vsb3VzLCBp
  74 dCBsZWFkcyBkb3duIGEgcmFiYml0aG9sZSBvZiBjb3B5aW5nIG1vcmUgYW5kIG1vcmUgb2YKbm1p
  75 Z2VuIGludG8gYSBzZXBhcmF0ZSByZXBvc2l0b3J5LCB3aGljaCBldmVyeW9uZSBlbHNlIHdpbGwg
  76 bGlrZXdpc2UKaGF2ZSB0byBkbyIsIHdlIG5lZWQgdG8gc2xvd2x5IGFuZCBkaXBsb21hdGljYWxs
  77 eSBlZHVjYXRlIGhlciBpbiB0aGUKcHl0aG9uIGNvbGxhYm9yYXRpdmUgcHJhY3RpY2VzIHRoYXQg
  78 c2hlJ3MgbWlzc2luZy4KCm5taWdlbiBpcyBleHRyZW1lbHkgdW51c3VhbCBpbiB0aGF0IGl0IGlz
  79 IGEgInJvb3QiIHByb2plY3QgKHplcm8KZXh0ZXJuYWwgZGVwZW5kZW5jaWVzKS4gIGl0J3Mgc2Vs
  80 Zi1jb250YWluZWQsIGlzIHdoaXRlcXVhcmsncyBmaXJzdApleHBlcmllbmNlIHdpdGggcHl0aG9u
  81 LCBhbmQgY29uc2VxdWVudGx5IHNoZSBoYXMgKnplcm8qIGV4cGVyaWVuY2Ugb2YKcHl0aG9uIGNv
  82 bGxhYm9yYXRpdmUgZGV2ZWxvcG1lbnQgcHJhY3RpY2VzIHRoYXQgaGF2ZSB0YWtlbiAyMCB5ZWFy
  83 cyB0bwplc3RhYmxpc2guCgpnaXZlbiB0aGF0IG5taWdlbiBtYXkgd2VsbCBiZSB0aGUgdmVyeSBm
  84 aXJzdCB0aW1lIHRoYXQgc29tZSBIREwKZW5naW5lZXJzIGV2ZXIgKnVzZSogcHl0aG9uIGV4dGVu
  85 c2l2ZWx5IChTdGFmLCBmb3IgZXhhbXBsZSBpIGJlbGlldmUKbWF5IGZhbGwgaW50byB0aGlzIGNh
  86 dGVnb3J5KSwgdGhlcmUgaXMgYSBodWdlIHJlc3BvbnNpYmlsaXR5IHRoYXQKZmFsbHMgb24gd2hp
  87 dGVxdWFyaydzIHNob3VsZGVycyB0byBsZWFybiBhbmQgdGhlbiBtYWtlIHN1cmUgdG8gdXNlCmJl
  88 c3QgY29sbGFib3JhdGl2ZSBweXRob24gcHJhY3RpY2VzLiAgYW5kIGl0IGlzIGEgaHVnZSByZXNw
  89 b25zaWJpbGl0eS4KCnVuZm9ydHVuYXRlbHksIG15IGVmZm9ydHMgdG8gY29tbXVuaWNhdGUgd2l0
  90 aCBoZXIgYWJvdXQgdGhpcyBkaWQgbm90CmdvIHdlbGwuICB3aGVuIGkgc3Bva2Ugd2l0aCBoZXIg
  91 YWJvdXQgdGhlIGV4dHJlbWVseSBkYW1hZ2luZyBwcmFjdGljZQpvZiB1c2luZyB3aWxkY2FyZCBp
  92 bXBvcnRzLCByYXRoZXIgdGhhbiBnbyAiYWg6IGkgdW5kZXJzdGFuZCBob3cgdGhpcwppcyBleHRy
  93 ZW1lbHkgZGV0cmltZW50YWwgdG8gY29sbGFib3JhdGl2ZSBkZXZlbG9wbWVudCwgaSB3aWxsIGdp
  94 dmUgaXQKc29tZSB0aG91Z2h0IiwgaGVyIHJlc3BvbnNlIHdhcywgInRoZSBweXRob24gcHJvZ3Jh
  95 bW1pbmcgbGFuZ3VhZ2UKc2hvdWxkIG5vdCBiZSBicm9rZW4uICBpdCBpcyBub3QgbXkgcmVzcG9u
  96 c2liaWxpdHk6IGl0IGlzIHRoZQpyZXNwb25zaWJpbGl0eSBvZiB0aGUgcHl0aG9uIGRldmVsb3Bl
  97 cnMuICB0aGV5IHNob3VsZCBuZXZlciBoYXZlIGFkZGVkCnRoZSBmZWF0dXJlIi4KCnRvIGhlciBj
  98 cmVkaXQgc2hlICppcyogcmVzcG9uZGluZyBvbiBzb21lIHRoaW5ncy4gIHVzdWFsbHkgaXQgdGFr
  99 ZXMKbW9yZSB0aGFuIG9uZSBwZXJzb24gdG8gY29tbXVuaWNhdGUgd2l0aCBoZXIgYWJvdXQgYSBn
 100 aXZlbiBpc3N1ZS4Kb3ZlciB0aW1lLCBzaGUnbGwgZ2V0IGl0LCBpIGFtIHN1cmUsIGFzIHNoZSBp
 101 cyBleHRyZW1lbHkgaW50ZWxsaWdlbnQuCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19f
 102 X19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1y
 103 aXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5v
 104 cmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
 105