Hi Andrew, In this case, since the patches are attachments, would you happen to have a hosted git (github?) repo that I could examine to facilitate a review. I can only review inline patches efficiently by email.
Gedare On Thu, Mar 9, 2023 at 6:52 AM andrew.butterfi...@scss.tcd.ie <andrew.butterfi...@scss.tcd.ie> wrote: > > ping > > > > > > From: devel <devel-boun...@rtems.org> on behalf of > "andrew.butterfi...@scss.tcd.ie" <andrew.butterfi...@scss.tcd.ie> > Date: Friday 10 February 2023 at 16:10 > To: "rtems-de...@rtems.org" <rtems-de...@rtems.org> > Subject: eng: Add Formal Verification chapter v3 > > > > Dear RTEMS Developers, > > Here is a 3rd version of the proposed Formal Verification chapter > > to be added to the Software Engineering Manual. > > > > The patch-set is attached here, as I cannot use git-mail. > > > > Best Regards, > > Andrew > > > > > > _______________________________________________ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
