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 less

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 Compu

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, Univers

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 m

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 future

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 hoo

Re: Add Formal Verification chapter v4

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 hook it up to `rtems-tools.git/tester` to make

Re: Add Formal Verification chapter v4

Hi Gedare, I've made some changes and raised some further queries - I don't know if you get any notifications from github PR: (https://github.com/RTEMS/rtems-docs/pull/6) Regards, Andrew Andrew Butterfield Tel: +353-1-89

Re: Add Formal Verification chapter v4

Thanks, I left comments on your pull request. On Wed, Sep 6, 2023 at 7:26 AM andrew.butterfi...@scss.tcd.ie wrote: > > Ping > > (I've let this sit a while - time to wake it up!) > > > Andrew Butterfield Tel: +353-1-896-2517 Fax

Re: Add Formal Verification chapter v4

Ping (I've let this sit a while - time to wake it up!) 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,