Hello Andrew,
On 22/12/2022 12:29, andrew.butterfi...@scss.tcd.ie wrote:
From 3390ccc51f46ce0a4baa60422a62530c7c3c29bd Mon Sep 17 00:00:00 2001
From: Andrew Butterfield
Date: Wed, 21 Dec 2022 18:03:47 +
Subject: [PATCH 00/18] Adds Formal Verification Material
This patch-set adds in the Pro
Hello Sebastian,
Yes - I noticed that problem - I got a lot of responses about those emails
being referred to the moderator.
Some of those blocked patches were adding in archive material. I did this
because of recent interactions
with the follow-up ESA project looking at Independent Validation
Hello Andrew,
I wish you also a Happy New Year.
On 03/01/2023 12:42, andrew.butterfi...@scss.tcd.ie wrote:
Hello Sebastian,
Yes - I noticed that problem - I got a lot of responses about those emails
being referred to the moderator.
Some of those blocked patches were adding in archive mater
Xilinx's upstream ILP32 xil_cache.h header is out of date and broken.
This provides a copy of the LP64 header in place of the ILP32 header
since the LP64 header includes all the correct types to work with either
data model.
---
bsps/include/xil/arm/ARMv8/32bit/xil_cache.h | 35 ++--
Hello,
I'm currently looking at ticket 4364. It says that there is a difference
between the test results printed by the console and what is emailed to
@devel. I don't see a difference and i'm just wondering if it has been
fixed
Zack
___
devel mailing li
