[libre-riscv-dev] [Bug 335] New: Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / e8 / 72d4d0f757e746d240b953502503bd1b6352a6
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Mon, 18 May 2020 19:41:42 +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 1jakhp-0001IP-KE; Mon, 18 May 2020 19:41:41 +0100
8 Received: from mail-wr1-f51.google.com ([209.85.221.51])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <programmerjake@gmail.com>)
11 id 1jakhn-0001IJ-1z
12 for libre-riscv-dev@lists.libre-riscv.org; Mon, 18 May 2020 19:41:39 +0100
13 Received: by mail-wr1-f51.google.com with SMTP id i15so13006872wrx.10
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Mon, 18 May 2020 11:41:39 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=mime-version:references:in-reply-to:from:date:message-id:subject:to;
18 bh=1dGJ/C+Jl8mT2wEVF8Z9X4ysUHpU0XjAYqJJlwQ4qCA=;
19 b=mpE7HUYdY7uHqlAhdIUCTc0slPwDt37HRcFYkA1jFgdleedp1PgGeSPAR+5TS/GsWM
20 D3p1rUg9kmXoZiyWOuAnrJ1E3KX8dFUoFWAtmDhB03KZHixvXTlIh30V7cat/Ai0cLp2
21 F6dGlfegLPUzRpB8cJaoznZlmDKVW8DmJqWc7FZofy7pfJPWPZBhmKVfGfVNQOREUbOw
22 nNyRrvP3PrE8AjrwxHQ/7dFRaNZDZ0M0BBRD92cnyPyIPpAnLZDJsFQ4nb58JHpp1vRn
23 SYZJXfDdLl6ppv5hsh/yBNEv1S9kD2XvRveA8X93Cf5AJM3tN1MtRe+ylKdi09MLD5i4
24 Z00Q==
25 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
26 d=1e100.net; s=20161025;
27 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
28 :message-id:subject:to;
29 bh=1dGJ/C+Jl8mT2wEVF8Z9X4ysUHpU0XjAYqJJlwQ4qCA=;
30 b=rhhKLdEOEnXk1Nu2kFsOM+bv92qeOF9vf6+vCgrREZXPnPrR1Pio73rX8uEIZhAegc
31 InEqDw/vlnnYha//mNXb75wESBczwlpgGvMJ2hzgSSzR3MLHuolDUB0q8MU4WHuPNu0i
32 ylvrgQjyevayLMRhCsOKRmEKGd3+bW7uTF/0g6gtq+aD0y8+mIv/5ObrOdU5FMeVmxN7
33 4OZFFJgS7fa6+4NU6eTmT4puZL2gfUcBFER5b2j0YDE8zh9ts/7QjkTAEMTwfjeb7iYp
34 9LQunBwQ9yEkyHzkFpoZmphQyLY8/fqjy47ZtkhQkYExYlayn3GR/Lsbc3nJue4rwiIL
35 YUQg==
36 X-Gm-Message-State: AOAM532A5xhTwP3qPZ2buB13li++GFWur6Wu2xd+lr87K07y7402CnfT
37 9KbUZEATuLVwl3Hg3PAjq+7n8QTtD1Bl5bYVyG5kG3Bm
38 X-Google-Smtp-Source: ABdhPJw4KnPrCg8KJsicoj7iE2VGhNRu2JVO8X4LmmFTpD1oEhP/xE+r8heqlLZ7RY1o2y4o2JlmdOPi1xyIXewV5Ck=
39 X-Received: by 2002:a5d:522d:: with SMTP id i13mr21784227wra.306.1589827298492;
40 Mon, 18 May 2020 11:41:38 -0700 (PDT)
41 MIME-Version: 1.0
42 References: <33B8ACFA-9A9F-482F-985B-D5E5C44B56B9@gatech.edu>
43 In-Reply-To: <33B8ACFA-9A9F-482F-985B-D5E5C44B56B9@gatech.edu>
44 From: Jacob Lifshay <programmerjake@gmail.com>
45 Date: Mon, 18 May 2020 11:41:26 -0700
46 Message-ID: <CAC2bXD6ZEkqAr5yrwbx8FKByuOYTYGiFRFQAWc2NzdEOfGfZCw@mail.gmail.com>
47 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
48 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
49 Subject: Re: [libre-riscv-dev] Avoiding Spectre or Meltdown
50 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
51 X-Mailman-Version: 2.1.23
52 Precedence: list
53 List-Id: Libre-RISCV General Development
54 <libre-riscv-dev.lists.libre-riscv.org>
55 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
56 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
57 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
58 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
59 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
60 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
61 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
62 Reply-To: Libre-RISCV General Development
63 <libre-riscv-dev@lists.libre-riscv.org>
64 Content-Type: text/plain; charset="utf-8"
65 Content-Transfer-Encoding: base64
66 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
67 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
68
69 T24gTW9uLCBNYXkgMTgsIDIwMjAsIDA2OjAzIFllaG93c2h1YSA8eWltbWFudWVsM0BnYXRlY2gu
70 ZWR1PiB3cm90ZToKCj4gSSBrbm93IEphY29iIG1lbnRpb25lZCBzb21lIHNjaGVtZSBlYXJsaWVy
71 Lgo+CgpTZWUgYWxzbzogaHR0cHM6Ly9idWdzLmxpYnJlLXNvYy5vcmcvc2hvd19idWcuY2dpP2lk
72 PTIwOQoKSmFjb2IKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
73 X18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGli
74 cmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5m
75 by9saWJyZS1yaXNjdi1kZXYK
76