36/73f20b006783c23ebc688a4c4fa7379798eac3

   1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
   2 Envelope-to: publicinbox@libre-riscv.org
   3 Delivery-date: Mon, 08 Jun 2020 04:11:44 +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 1ji8CN-0001wr-2c; Mon, 08 Jun 2020 04:11:43 +0100
   8 Received: from mail-eopbgr770138.outbound.protection.outlook.com
   9  ([40.107.77.138] helo=NAM02-SN1-obe.outbound.protection.outlook.com)
  10  by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
  11  (Exim 4.89) (envelope-from <yimmanuel3@gatech.edu>)
  12  id 1ji8CK-0001wl-PQ
  13  for libre-riscv-dev@lists.libre-riscv.org; Mon, 08 Jun 2020 04:11:40 +0100
  14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
  15  b=LeqLdXJLuuAs4rO0LTnm/7X8kqLBKKOj1s5y+07E/99I7Mm7mwEg+NyDLibm3Iyj0lHjko6fbnNdUk7OwaYxM0+d6p3vHglqpUgUqKdaD6ut1bwRHfq6wxzwetFAdWXeNbeIqYrp7d1tJfcYZQIoeeSvHIb/+yWoh5fuJ0+/eLhZrGrK752HyuMK4Bg7cS1vAQYuQ8/byS1yh0BliTrZIIYomqII0dWKWNhDPYQT3dw62W0D77s9j1NeaNtk02gU+3LDntXnMm8UKlaT+/nfmLaBO7CLUG1cu7qnfpBQ1DqzLl/xtUllaQLraBI6RftYvzN7JJpPU8ABWmAd4WR3Ow==
  16 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
  17  s=arcselector9901;
  18  h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
  19  bh=eZhM8YaclKCbWyiMZaYbxN3rnYfnyGAubgZFSupOF2Y=;
  20  b=mMqhw/45degqM6OQ/w9kRjlIQdK0SmFqTBDS74gRvq26YsIMJrlZNeB0GfwRpIkixCV8Eq2Ko76ebeoY1UyztKE7tzZEgT+uLk+0i1+t24D990+mQwes3w2WqKkxaHbx9OX7F/rRx3ryA6iWwMihN3NlQ/04D1eLORv7OPr2sbwRlI05g2vKmQcudvNz4QcpftlLFvl2n0QHAd8uVM6b6vvqv7Z6mDFpvZnwuFa8m06BMtZABm7frWSTk6QA5IeK3MX0+uIODRGUH9qr1zxFymTn26iR04YzZPIPLY7g/dYuWucTllzu8mZwDB2VAyjZRdhk+fegkm/4MHlPonxHrg==
  21 ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
  22  smtp.mailfrom=gatech.edu; dmarc=pass action=none header.from=gatech.edu;
  23  dkim=pass header.d=gatech.edu; arc=none
  24 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gatech.edu;
  25  s=selector1;
  26  h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
  27  bh=eZhM8YaclKCbWyiMZaYbxN3rnYfnyGAubgZFSupOF2Y=;
  28  b=2Qb1ncux6AscdhrrqI5Q3sidGsK+IFDhncMWc8EsGwX4Zt+DmN1Oy5VJ6fhwHegSYGsjjleJ25K44X8CpK/IYG+dMPIhz6+cq5dGu/GZL4U/cOdXchs+NJi03RFXhuBhVJRnB63Mm1bQ9xlOn8KGKeveU7Q6mUsOT+YuEr8pt2w=
  29 Authentication-Results: lists.libre-riscv.org; dkim=none (message not signed)
  30  header.d=none; lists.libre-riscv.org;
  31  dmarc=none action=none header.from=gatech.edu;
  32 Received: from BN7PR07MB4753.namprd07.prod.outlook.com (2603:10b6:406:f0::23)
  33  by BN7PR07MB4626.namprd07.prod.outlook.com (2603:10b6:406:f7::28)
  34  with Microsoft SMTP Server (version=TLS1_2,
  35  cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.18; Mon, 8 Jun
  36  2020 03:11:38 +0000
  37 Received: from BN7PR07MB4753.namprd07.prod.outlook.com
  38  ([fe80::9cfa:d2f7:5d60:c397]) by BN7PR07MB4753.namprd07.prod.outlook.com
  39  ([fe80::9cfa:d2f7:5d60:c397%6]) with mapi id 15.20.3066.023; Mon, 8 Jun 2020
  40  03:11:38 +0000
  41 From: Yehowshua <yimmanuel3@gatech.edu>
  42 Message-Id: <E2E475D2-7421-4970-92BE-146FC5514AA5@gatech.edu>
  43 Date: Sun, 7 Jun 2020 23:11:36 -0400
  44 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
  45 X-Mailer: Apple Mail (2.3608.80.23.2.2)
  46 X-ClientProxiedBy: BN6PR16CA0007.namprd16.prod.outlook.com
  47  (2603:10b6:404:f5::17) To BN7PR07MB4753.namprd07.prod.outlook.com
  48  (2603:10b6:406:f0::23)
  49 MIME-Version: 1.0
  50 X-MS-Exchange-MessageSentRepresentingType: 1
  51 Received: from yehowshuas-mbp.hsd1.ga.comcast.net (73.43.100.116) by
  52  BN6PR16CA0007.namprd16.prod.outlook.com (2603:10b6:404:f5::17) with Microsoft
  53  SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
  54  15.20.3066.18 via Frontend Transport; Mon, 8 Jun 2020 03:11:37 +0000
  55 X-Mailer: Apple Mail (2.3608.80.23.2.2)
  56 X-Originating-IP: [73.43.100.116]
  57 X-MS-PublicTrafficType: Email
  58 X-MS-Office365-Filtering-Correlation-Id: 0299164b-e7bb-48db-0e64-08d80b59a87a
  59 X-MS-TrafficTypeDiagnostic: BN7PR07MB4626:
  60 X-Microsoft-Antispam-PRVS: <BN7PR07MB46265A3A3B2A49A0C6089CAAEC850@BN7PR07MB4626.namprd07.prod.outlook.com>
  61 X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
  62 X-MS-Oob-TLC-OOBClassifiers: OLM:8273;
  63 X-Forefront-PRVS: 042857DBB5
  64 X-MS-Exchange-SenderADCheck: 1
  65 X-Microsoft-Antispam: BCL:0;
  66 X-Microsoft-Antispam-Message-Info: 3O0KqhlTKPlGswipbmjJofJNZ1po7VyCtNMbyAjhT+yvBlDveETPyngPsSDQLDwgfYyVJwSzR5RdsoC0FRHFjQ+4WuuGQ0r0kIB6ItDi31t3ZiZ93Yab9flxn7DnOW9094kJlWiGB/sYMEAp651v60sFgLyI0/ofyboQgSUMrnu4jKLniNqqN6nWo9VuVqZbWJYh3rGvIGJd7lfvXhdvSv9uPXxr/NASmTIQjVWonjcwLOAnoQGMr5UgDkKh6uQpuQvjV6MIXnQrrUvn11GHCbxs61S+WZ1vULxNFROe9H7w5XCxKggzfcY7mRLtWhKDebzSBs7sgtXZutNcvUAn1YMglpcZfslh1of0JAmHy32Vb2ZJlS4f3yunbbehUhIEGGhUnsN3UpcfAWd8DutRTw==
  67 X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
  68  IPV:NLI; SFV:NSPM; H:BN7PR07MB4753.namprd07.prod.outlook.com; PTR:; CAT:NONE;
  69  SFTY:;
  70  SFS:(4636009)(39860400002)(346002)(136003)(376002)(396003)(366004)(8936002)(6506007)(16526019)(86362001)(8676002)(5660300002)(36756003)(2906002)(26005)(478600001)(186003)(52116002)(786003)(66476007)(2616005)(4744005)(966005)(33656002)(6916009)(6512007)(66556008)(6486002)(316002)(66946007)(956004)(75432002);
  71  DIR:OUT; SFP:1102;
  72 X-MS-Exchange-AntiSpam-MessageData: ROfaUMRJbd5BUcg+6hrlus2QmaqWTmmVLqRvbouYWk7/LNYGjNIuiT+jrNSJVkEg2p09UfglHtJG3YdaV61DIxc4u4oM7AEziQu8q9v+AIhxoZ4lxcQfqNT5MkptwvAh1+5wUIn34zi8rpiCnL9EH4k9wCEMDpQ3fvcGZCuB0jVQY0w6mKqM8ah33MZKLh635zNtFhDhMCpVOmXHoDrhJaSZSXABBo1D/s7POny1vmB48ZLV+M3QQbExp0WxCQmc7PLaF5AtZzNdDfTVNHF0S7G2jQ5Oq94oPFmZh74rENqpKR4icGLl7P7veMxObpjhjI7Nl2cCbfRxnRiW/QGqsDtKB5FApPUkAqR38YY7MbI5bhs7aofdkIZMFBdXVcdqFL8LwBAuziQKnr9erOu/9HQbgf/UpuiSI78b4f0JexcJuc3Rx7jQb8fQzG6lpgizWuFOmbX58n6nvTmqvPZhuAIDTUOF+37nsdVsp5lnMzc=
  73 X-OriginatorOrg: gatech.edu
  74 X-MS-Exchange-CrossTenant-Network-Message-Id: 0299164b-e7bb-48db-0e64-08d80b59a87a
  75 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Jun 2020 03:11:38.0310 (UTC)
  76 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
  77 X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
  78 X-MS-Exchange-CrossTenant-MailboxType: HOSTED
  79 X-MS-Exchange-CrossTenant-UserPrincipalName: tUhNJRhssWAOn8vdzoTH4nNHGb2fQY241uamAMGRUs0Yjjs3ip82YE+AtbAY8Oj0HN0gaJMBz6ej2JjX4eT5eQ==
  80 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN7PR07MB4626
  81 Subject: [libre-riscv-dev] Using formal to expose bugs in scoreboard
  82 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
  83 X-Mailman-Version: 2.1.23
  84 Precedence: list
  85 List-Id: Libre-RISCV General Development
  86  <libre-riscv-dev.lists.libre-riscv.org>
  87 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
  88  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
  89 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
  90 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
  91 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
  92 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
  93  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
  94 Reply-To: Libre-RISCV General Development
  95  <libre-riscv-dev@lists.libre-riscv.org>
  96 Content-Type: text/plain; charset="utf-8"
  97 Content-Transfer-Encoding: base64
  98 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
  99 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
 100
 101 VGhpcyBlcnJvciBoaWdobGlnaHRzIHRoZSBuZWVkIGZvciBmb3JtYWwgb24gdGhlIHNjb3JlYm9h
 102 cmQuCmh0dHBzOi8vYnVncy5saWJyZS1zb2Mub3JnL3Nob3dfYnVnLmNnaT9pZD0zMzYjYzU0CgpT
 103 eW1iaW90aWMgRURBIGhhcyBhIHdvbmRlcmZ1bCB0dXRvcmlhbCBvbiBob3cgdG8gc3BlY2lmeSAK
 104 aGF6YXJkIGRlcGVuZGVuY2llcyBhcyBmb3JtYWwgY29uc3RyYWludHMuCmh0dHBzOi8vd3d3Lnlv
 105 dXR1YmUuY29tL3dhdGNoP3Y9dGdUdC04VXFTTVUKCkkgaW1hZ2luZSBpdCBzaG91bGRu4oCZdCBi
 106 ZSB0b28gaGFyZCB0byB0dXJuIHRoYXQgdHV0b3JpYWwgaW50byAKc29tZXRoaW5nIHRoYXQgY2Fu
 107 IGZpdCB0aGUgc2NvcmVib2FyZC4KCllvdSB3b3VsZCBrZWVwIHJlcGFpcmluZyB1bnRpbCB0aGUg
 108 YXNzZXJ0cyBwYXNzIGJhc2ljYWxseS4KCkNoZWVycywKCVllaG93c2h1YQpfX19fX19fX19fX19f
 109 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGlu
 110 ZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3Rz
 111 LmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
 112