[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 92 / 38aaed5bed02415ee2cfb2e28e7b50b80836ce
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Tue, 12 May 2020 15:29:04 +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 1jYVu3-0004nw-Vg; Tue, 12 May 2020 15:29:03 +0100
8 Received: from mail-qt1-f175.google.com ([209.85.160.175])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <mtnolan2640@gmail.com>)
11 id 1jYVu2-0004nn-2J
12 for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 15:29:02 +0100
13 Received: by mail-qt1-f175.google.com with SMTP id h26so11160001qtu.8
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Tue, 12 May 2020 07:29:02 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=subject:to:references:from:message-id:date:user-agent:mime-version
18 :in-reply-to:content-transfer-encoding:content-language;
19 bh=tzIb7tqC0b+Jz5CDPggySJZKkM8tySN0r9taQZCOCxA=;
20 b=f38i4EGfe+nGp5KCxLpFotqpvaF0/wNPgQ/O909gusw+Qnz9W6Mxc9bDCwKs8g5qNG
21 cKLDDPYpMySlzIae9pfj3y8C539kyU6DiHBRXpkPJzgPfaSlNSLdaRJaC8ujIAHPf3wj
22 rpxwnP9/3ZvqNx2bX466Zv0Eg7QVYdkCcr4r1AJpozAvi9+UnrCQrrbD3Z0wgWuLqXAA
23 ehEQn4naKc+ukS1XtmAl80OOjmwEK4Sx8m2XJn0Z2u0S7y1+NgqvS1lPdQFyCpZdpFNQ
24 /3bTBPqZ6sltkZOF/+nvYPFiYP7NNYfwND2r7ysivZidVYCUPyL9G5fMDcs8KtEcR5Er
25 j45g==
26 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
27 d=1e100.net; s=20161025;
28 h=x-gm-message-state:subject:to:references:from:message-id:date
29 :user-agent:mime-version:in-reply-to:content-transfer-encoding
30 :content-language;
31 bh=tzIb7tqC0b+Jz5CDPggySJZKkM8tySN0r9taQZCOCxA=;
32 b=F2Kf7I2pgn5XhQDa/f1UEhuLkGKPbiZha0zXFHsPq9EjwcjP1KN8w5D3bxjB1WKWR+
33 rDKMX7+V2s7DEhId/jANREx0FpjAhbPQtRduTLZ1dw4IqMIeUnRurK/5UylIL9fxuLG8
34 MFjYr4m9v0I2n1DRa2QxK3JMwFuhFRmmup4dbnzEymzsTbNdAcHULkIGOqI1XK4EKIqL
35 ZskTGJGKCmGn8bKnnyiDuk0B9mKg6OFYxRF/B0y7xiKiZMQcvb6pJ+xfkZK2SU4VYIkY
36 Lj20yBBMMdMYgxfDuxfymwMxBy8NdZ35XIU5K/gBYIo9tjIWpKc4GUPHi30j+0yk8Knv
37 JASg==
38 X-Gm-Message-State: AGi0PuZ5S+NVIHo+Mxq5CDQ8pCegCQQAqYHcEYlDyw7YZrb1uyV6cP1l
39 Yci7wyGXq2pFsEGTyKjuN6BSAM5m
40 X-Google-Smtp-Source: APiQypLotf98djEDxN7SuPO0uMx+iYw2EKSPoRlWOVNLbD9bWIzDwtqaeH7B7t1WCDBvphucPWVMiA==
41 X-Received: by 2002:ac8:188c:: with SMTP id s12mr9741682qtj.172.1589293739158;
42 Tue, 12 May 2020 07:28:59 -0700 (PDT)
43 Received: from ?IPv6:2600:1700:3fa0:6720:667a:121f:c067:22f2?
44 ([2600:1700:3fa0:6720:667a:121f:c067:22f2])
45 by smtp.gmail.com with ESMTPSA id i10sm4493021qkk.128.2020.05.12.07.28.58
46 for <libre-riscv-dev@lists.libre-riscv.org>
47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128);
48 Tue, 12 May 2020 07:28:58 -0700 (PDT)
49 To: libre-riscv-dev@lists.libre-riscv.org
50 References: <CAPweEDy9Kby79pBzaCQz6_Tt9hPcCkgBuGBj6S=eiALM0Ww9Zg@mail.gmail.com>
51 From: Michael Nolan <mtnolan2640@gmail.com>
52 Message-ID: <dafc0660-613f-d9d4-ee5c-2f3ab0bb7475@gmail.com>
53 Date: Tue, 12 May 2020 10:28:58 -0400
54 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
55 Firefox/68.0 Thunderbird/68.7.0
56 MIME-Version: 1.0
57 In-Reply-To: <CAPweEDy9Kby79pBzaCQz6_Tt9hPcCkgBuGBj6S=eiALM0Ww9Zg@mail.gmail.com>
58 Content-Language: en-US
59 Subject: Re: [libre-riscv-dev] daily kan-ban update 12may2020
60 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
61 X-Mailman-Version: 2.1.23
62 Precedence: list
63 List-Id: Libre-RISCV General Development
64 <libre-riscv-dev.lists.libre-riscv.org>
65 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
66 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
67 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
68 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
69 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
70 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
71 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
72 Reply-To: Libre-RISCV General Development
73 <libre-riscv-dev@lists.libre-riscv.org>
74 Content-Transfer-Encoding: base64
75 Content-Type: text/plain; charset="utf-8"; Format="flowed"
76 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
77 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
78
79 WWVzdGVyZGF5IEkgbW9kaWZpZWQgdGhlIEFMVSB0ZXN0cyB0byByZWFkIHRoZSBhbHUgaW5wdXRz
80 IGFzIHNwZWNpZmllZCAKaW4gdGhlIGluc3RydWN0aW9uIGluc3RlYWQgb2YgaGFyZGNvZGVkIHJl
81 Z2lzdGVyIG51bWJlcnMuIEkgcmVmYWN0b3JlZCAKdGhlIHRlc3QgdG8gZ3JlYXRseSByZWR1Y2Ug
82 dGhlIGFtb3VudCBvZiB0aW1lIGl0IHRha2VzIHRvIHJ1biAod2VudCBmcm9tIAp+MW0gdG8gfjNz
83 IG9uIG15IGNvbXB1dGVyKQoKVG9kYXkgSSdkIGxpa2UgdG8gc3BsaXQgb3V0IHRoZSBzaGlmdCBh
84 bmQgcm90YXRlIGluc3RydWN0aW9ucyBpbnRvIHRoZWlyIApvd24gc2VwYXJhdGUgRlUKCi0tTWlj
85 aGFlbAoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxp
86 YnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJp
87 c2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGli
88 cmUtcmlzY3YtZGV2Cg==
89