> On 25/11/2022 07:46, Sebastian Huber
> wrote:
>> On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
>>> On 16/11/2022 16:44, Gedare Bloom wrote:
>>>Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
>>>some aspects of a How-To but also a lot of details that mi
Hi Sebastian,
I will do that - so I expect to have two new separate patch sets.
I have already checked a lot of it for license/copyright stuff, but I'll
double-check this.
The first will add a `formal` folder to rtems-central, as you specified.
The second will add a revised version of the FV ch
On Fri, Nov 25, 2022 at 12:45 AM Sebastian Huber
wrote:
>
> On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
> >
> > Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
> > some aspects of a How-To but also a lot of details that might be
> > better as a separat
On 16/11/2022 17:44, Gedare Bloom wrote:
I guess I was overly optimistic last night. The note on the front
matter should be resolved before we push the full documentation. I
guess it's a bit of chicken-and-egg but the documentation should be
pushed concurrent with the software that it documents.
On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote:
Section 9.7 "RTEMS Formal Model Guide" seems like it includes both
some aspects of a How-To but also a lot of details that might be
better as a separate document specific to the Promela/Verification
detailed implementatio
-
-Original Message-
From: Gedare Bloom mailto:ged...@rtems.org>>
Date: Wednesday 16 November 2022 at 02:00
To: Chris Johns mailto:chr...@rtems.org>>
Cc: "andrew.butterfi...@scss.tcd.ie<mailto:andrew.butterfi...@scss.tcd.ie>"
mailto:andrew.butterfi...@scss.
;
>
>
> -----Original Message-----
> From: Gedare Bloom
> Date: Wednesday 16 November 2022 at 02:00
> To: Chris Johns
> Cc: "andrew.butterfi...@scss.tcd.ie" ,
> "rtems-de...@rtems.org"
> Subject:
oom
Date: Wednesday 16 November 2022 at 02:00
To: Chris Johns
Cc: "andrew.butterfi...@scss.tcd.ie" ,
"rtems-de...@rtems.org"
Subject: Re: Add Formal Verification chapter v2
I plan to look at this tomorrow and will plan to push it as-is. I will
push any modifications I
I plan to look at this tomorrow and will plan to push it as-is. I will
push any modifications I think should be made, or send notes back
here, after I look through it very carefully.
On Wed, Nov 9, 2022 at 5:39 PM Chris Johns wrote:
>
> On 9/11/2022 9:48 pm, andrew.butterfi...@scss.tcd.ie wrote:
On 9/11/2022 9:48 pm, andrew.butterfi...@scss.tcd.ie wrote:
ping
(my fault really, i've let this sit!)
Thank you for raising this and I am sorry we have not been as proactive
as we should be.
But I have been busy, interacting with a group doing a follow-up IV&V project
with the qualifica
10 matches
Mail list logo
