Hi Gedare, the quick and easy way is to visit https://github.com/andrewbutterfield/rtems-docs/commit/8165814471402d56c480b1400b121715ad507c58
That's a fork of RTEMS/rtems-docs on Github - and is the top of my `new-eng-chapter` branch. The commits are those I had developing it and do not match the patch-set I sent. Will that do? Regards, Andrew On 09/03/2023, 20:22, "Gedare Bloom" <ged...@rtems.org <mailto:ged...@rtems.org>> wrote: 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 <mailto:andrew.butterfi...@scss.tcd.ie> <andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>> wrote: > > ping > > > > > > From: devel <devel-boun...@rtems.org <mailto:devel-boun...@rtems.org>> on > behalf of "andrew.butterfi...@scss.tcd.ie > <mailto:andrew.butterfi...@scss.tcd.ie>" <andrew.butterfi...@scss.tcd.ie > <mailto:andrew.butterfi...@scss.tcd.ie>> > Date: Friday 10 February 2023 at 16:10 > To: "rtems-de...@rtems.org <mailto:rtems-de...@rtems.org>" > <rtems-de...@rtems.org <mailto: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 <mailto:devel@rtems.org> > http://lists.rtems.org/mailman/listinfo/devel > <http://lists.rtems.org/mailman/listinfo/devel> _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
