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" <[email protected] <mailto:[email protected]>> wrote: Thanks, I left comments on your pull request. On Wed, Sep 6, 2023 at 7:26 AM [email protected] <mailto:[email protected]> <[email protected] <mailto:[email protected]>> 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 <[email protected] <mailto:[email protected]> > <mailto:[email protected] <mailto:[email protected]>>> on behalf > of "[email protected] <mailto:[email protected]> > <mailto:[email protected] > <mailto:[email protected]>>" <[email protected] > <mailto:[email protected]> > <mailto:[email protected] > <mailto:[email protected]>>> > Date: Tuesday 18 July 2023 at 13:54 > To: "[email protected] <mailto:[email protected]> > <mailto:[email protected] <mailto:[email protected]>>" > <[email protected] <mailto:[email protected]> > <mailto:[email protected] <mailto:[email protected]>>> > 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 [email protected] http://lists.rtems.org/mailman/listinfo/devel
