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 use of the capabilities we already have for running simulators.
On Thu, Sep 21, 2023 at 4:33 AM andrew.butterfi...@scss.tcd.ie <andrew.butterfi...@scss.tcd.ie> wrote: > > 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-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, University of Dublin > http://www.scss.tcd.ie/Andrew.Butterfield/ > <http://www.scss.tcd.ie/Andrew.Butterfield/> > -------------------------------------------------------------------- > > > > > > On 14/09/2023, 20:17, "Gedare Bloom" <ged...@rtems.org > <mailto:ged...@rtems.org>> wrote: > > > Thanks, I left comments on your pull request. > > > On Wed, Sep 6, 2023 at 7:26 AM andrew.butterfi...@scss.tcd.ie > <mailto:andrew.butterfi...@scss.tcd.ie> > <andrew.butterfi...@scss.tcd.ie <mailto: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: +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, University of Dublin > > http://www.scss.tcd.ie/Andrew.Butterfield/ > > <http://www.scss.tcd.ie/Andrew.Butterfield/> > > <http://www.scss.tcd.ie/Andrew.Butterfield/> > > <http://www.scss.tcd.ie/Andrew.Butterfield/>> > > -------------------------------------------------------------------- > > > > > > > > > > > > > > > > > > -----Original Message----- > > From: devel <devel-boun...@rtems.org <mailto:devel-boun...@rtems.org> > > <mailto:devel-boun...@rtems.org <mailto:devel-boun...@rtems.org>>> on > > behalf of "andrew.butterfi...@scss.tcd.ie > > <mailto:andrew.butterfi...@scss.tcd.ie> > > <mailto:andrew.butterfi...@scss.tcd.ie > > <mailto:andrew.butterfi...@scss.tcd.ie>>" <andrew.butterfi...@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> > > <mailto:rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>>" > > <rtems-de...@rtems.org <mailto:rtems-de...@rtems.org> > > <mailto:rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>>> > > Subject: Add Formal Verification chapter v4 > > > > > > Dear all, > > I've attached a patch-set for v4 of the proposal to add a formal > > verification chapter to the Software Engineering manual. > > (I can’t do git-mail) > > > > > > I've setup a pull-request at https://github.com/RTEMS/rtems-docs/pull/6 > > <https://github.com/RTEMS/rtems-docs/pull/6> > > <https://github.com/RTEMS/rtems-docs/pull/6> > > <https://github.com/RTEMS/rtems-docs/pull/6>> for review purposes. > > > > > > Regards, > > Andrew > > -------------------------------------------------------------------- > > 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, University of Dublin > > http://www.scss.tcd.ie/Andrew.Butterfield/ > > <http://www.scss.tcd.ie/Andrew.Butterfield/> > > <http://www.scss.tcd.ie/Andrew.Butterfield/> > > <http://www.scss.tcd.ie/Andrew.Butterfield/>> > > <http://www.scss.tcd.ie/Andrew.Butterfield/> > > <http://www.scss.tcd.ie/Andrew.Butterfield/>> > > <http://www.scss.tcd.ie/Andrew.Butterfield/>> > > <http://www.scss.tcd.ie/Andrew.Butterfield/&gt;>> > > -------------------------------------------------------------------- > > > > > > > > > > > > > > > > > > > > > > > > > > > > > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
