[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 38 / 80536ef127854f658b6b3e76855842f9aee766
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 09 Apr 2020 20:21:17 +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 1jMcjk-0003LS-FM; Thu, 09 Apr 2020 20:21:16 +0100
8 Received: from mail-wm1-f50.google.com ([209.85.128.50])
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 1jMcji-0003LM-Us
12 for libre-riscv-dev@lists.libre-riscv.org; Thu, 09 Apr 2020 20:21:14 +0100
13 Received: by mail-wm1-f50.google.com with SMTP id r26so986922wmh.0
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Thu, 09 Apr 2020 12:21:14 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=mime-version:from:date:message-id:subject:to;
18 bh=uPAGXyWFY29c3UWD0yLe47hn0fhQTmwLVre5WtlAVaI=;
19 b=ZutIz+b4qR+4LMT2jfjdIf/aw/PnLlqHJamoATXjoFLJzeMDvv1XLU6WpfO2rxmiVN
20 t4V017F9ap4d5nV/qcfczehsWScbC+Hk8NMbaPP0wjSwab+8fOVn8Me7ovSvYm2o836g
21 EW0TlhzCjOjOV8LMtqClmpCfs6Z1VY4LenB6OGJnKVUl3qelb/9uDez2KMzTPE8SBL7D
22 aJFffpSAcHeSUZRYH/+uWGE7dpbQQ8VsLRIdrheT8PuZGk0gICkYP0gM2va84DzGSHYP
23 CcS8u25jqNJiJ0OiPUZ0F6IHP/X12XndN3bGMuhPjaofMG4qIAhltyvCsRJeXSsCmgbp
24 ZSAQ==
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:from:date:message-id:subject:to;
28 bh=uPAGXyWFY29c3UWD0yLe47hn0fhQTmwLVre5WtlAVaI=;
29 b=mIHA7mnS0vdrAhLF16bSMPN8x+2lVtuHSzrPUuwDJ1qjBqivtSR7QRC6AT64GSbBM1
30 OEiAdnQ93pOin/dUHMONmx05yZ4xGaOktW9kyyOMWR9diyJHePg2o1FUMKEVsbB/m9io
31 FdZdgBnBUKQh5egcngrmLmwRloZouJ/3gZbbN/m4cueLGeYll4eChgQb8vMKnIlZ6O4R
32 kIq7UyAciXt8M6Mhe7saCvjFeFUiX1nicEgMNsMqI1/4I6xb8Q1pUlYW4q+QvtcbbI/v
33 DS9GKN4IIbV0DQS2E054jnq5I5Kn+u1gSTLhMoUA4b5FBTkibZslIWhV/W/8NqIyioNY
34 M4bA==
35 X-Gm-Message-State: AGi0PuZiqq3aw/5NkdP8vna46Mi++dNbxRkuwnRjZLTPJ+bY0/mC6+Pt
36 zSevBNRvQNG6NRtewc7cxsaHsQSD38hbp1Qf5AxgnA==
37 X-Google-Smtp-Source: APiQypJ/wVPjbzI27555yt9qLxTPBpiav4Qjvbu42BKFpk+N6rBJQjOIM0xe9wECbgDRnNt/wVA/IgdPi5YD7sZHL1M=
38 X-Received: by 2002:a1c:bd08:: with SMTP id n8mr1317185wmf.23.1586460074081;
39 Thu, 09 Apr 2020 12:21:14 -0700 (PDT)
40 MIME-Version: 1.0
41 From: Jacob Lifshay <programmerjake@gmail.com>
42 Date: Thu, 9 Apr 2020 12:21:01 -0700
43 Message-ID: <CAC2bXD4Ei-6yKFKXBd1uPtsauGJwf2o7EpihTMJWDdKR+SvbJg@mail.gmail.com>
44 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
45 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
46 Subject: [libre-riscv-dev] more build failures
47 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
48 X-Mailman-Version: 2.1.23
49 Precedence: list
50 List-Id: Libre-RISCV General Development
51 <libre-riscv-dev.lists.libre-riscv.org>
52 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
53 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
54 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
55 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
56 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
57 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
58 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
59 Reply-To: Libre-RISCV General Development
60 <libre-riscv-dev@lists.libre-riscv.org>
61 Content-Type: text/plain; charset="utf-8"
62 Content-Transfer-Encoding: base64
63 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
64 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
65
66 THVrZSwgYSBwaWxlIG9mIGltcG9ydCBlcnJvcnM6CgpodHRwczovL3NhbHNhLmRlYmlhbi5vcmcv
67 S2F6YW4tdGVhbS9naXRsYWItY2ktYXJjaGl2ZXIvLS9ibG9iL2Q1NDExZDk1NmQ0YTdhZWZjOWU2
68 ZjU2ZTc1ZDBhZTFlNDAxNzVhYTcvcGlwZWxpbmVzLzEyNDE0My9qb2ItNjU2NTA2LWxvZy50eHQ/
69 ZXhwYW5kZWQ9dHJ1ZSZ2aWV3ZXI9c2ltcGxlI0wyMjk4OQoKSSB1c2VkIGdpdGxhYi1jaS1hcmNo
70 aXZlciB0byBjb3B5IHRoZSBidWlsZCBsb2dzIHRvIHRoZSBnaXQgcmVwbydzIGRlbW8KYnJhbmNo
71 LgoKSmFjb2IKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K
72 bGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUt
73 cmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9s
74 aWJyZS1yaXNjdi1kZXYK
75