Re: Add Formal Verification chapter v4

On Mon, Oct 9, 2023 at 9:34 AM andrew.butterfi...@scss.tcd.ie wrote: > > Eliding some stuff > >On 05/10/2023, 16:02, "Gedare Bloom" > wrote: > >>On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie > >> wrote: > >>On

Re: Add Formal Verification chapter v4

Eliding some stuff >On 05/10/2023, 16:02, "Gedare Bloom" mailto:ged...@rtems.org>> wrote: >>On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie >> wrote: >>On 21/09/2023, 16:42, "Sebastian Huber" wrote: >>>On 21.09.23 17:41, Gedare Bloom

External document links (was Re: Add Formal Verification chapter v4)

On 6/10/2023 1:02 am, Gedare Bloom wrote: > On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie > wrote: >> Also, I'm not sure the best way to refer to a sub-section of another document >> I used something like (See Host Tools in the RTEMS User Manual) >> I guessed the URL might be

Re: Add Formal Verification chapter v4

On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie wrote: > > > > > Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 > Lero@TCD, Head of Software Foundations & Verification Research Group > School of

Re: Add Formal Verification chapter v4

Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College,

Re: Add Formal Verification chapter v4

On 21/09/2023, 16:42, "Sebastian Huber" mailto:sebastian.hu...@embedded-brains.de>> wrote: On 21.09.23 17:41, Gedare Bloom wrote: >> On Thu, Sep 21, 2023 at 9:36 AM Sebastian Huber >> > > wrote: >>> On 21.09.23 17:28, Gedare Bloom wrote: I've taken

Re: Add Formal Verification chapter v4

On 21.09.23 17:41, Gedare Bloom wrote: On Thu, Sep 21, 2023 at 9:36 AM Sebastian Huber wrote: On 21.09.23 17:28, Gedare Bloom wrote: I've taken a look and resolved / commented. We can leave some of the `sis` specific bits, with the understanding that hopefully the simulation target can be

Re: Add Formal Verification chapter v4

On Thu, Sep 21, 2023 at 9:36 AM Sebastian Huber wrote: > > On 21.09.23 17:28, Gedare Bloom wrote: > > I've taken a look and resolved / commented. We can leave some of the > > `sis` specific bits, with the understanding that hopefully the > > simulation target can be made more generic in the

Re: Add Formal Verification chapter v4

On 21.09.23 17:28, Gedare Bloom wrote: I've taken a look and resolved / commented. We can leave some of the `sis` specific bits, with the understanding that hopefully the simulation target can be made more generic in the future. This could be a potential GSoC project for Prequalification to

Re: Add Formal Verification chapter v4

@scss.tcd.ie > > <mailto:andrew.butterfi...@scss.tcd.ie> > > <mailto:andrew.butterfi...@scss.tcd.ie > > <mailto:andrew.butterfi...@scss.tcd.ie>>" > <mailto:andrew.butterfi...@scss.tcd.ie> > > <mailto:andrew.butterfi...@scss.tcd.ie > > <

Re: Add Formal Verification chapter v4

.@scss.tcd.ie>>" <mailto:andrew.butterfi...@scss.tcd.ie> > <mailto:andrew.butterfi...@scss.tcd.ie > <mailto:andrew.butterfi...@scss.tcd.ie>>> > Date: Tuesday 18 July 2023 at 13:54 > To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org&

Re: Add Formal Verification chapter v4

ss.tcd.ie > <mailto:andrew.butterfi...@scss.tcd.ie>" <mailto:andrew.butterfi...@scss.tcd.ie>> > Date: Tuesday 18 July 2023 at 13:54 > To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>" > mailto:rtems-de...@rtems.org>> > Subject: Add For

Re: Add Formal Verification chapter v4

devel-boun...@rtems.org>> on behalf of "andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>" mailto:andrew.butterfi...@scss.tcd.ie>> Date: Tuesday 18 July 2023 at 13:54 To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>" mailto:rt