Re: Add Formal Verification chapter v3

2023-03-13 Thread Gedare Bloom
On Mon, Mar 13, 2023 at 8:07 AM Gedare Bloom wrote: > > I closed it, and instead created a Pull Request from your > new-eng-chapter branch to the `master` branch on your fork of > rtems-docs > I have added comments to https://github.com/andrewbutterfield/rtems-docs/pull/1 > On Mon, Mar 13, 2023 a

Re: Add Formal Verification chapter v3

2023-03-13 Thread Gedare Bloom
I closed it, and instead created a Pull Request from your new-eng-chapter branch to the `master` branch on your fork of rtems-docs On Mon, Mar 13, 2023 at 3:17 AM andrew.butterfi...@scss.tcd.ie wrote: > > Hi Gedare, > pull request done > > Regards, > Andrew > > > > On 10/03/2023, 21:23, "Gedar

Re: Add Formal Verification chapter v3

2023-03-13 Thread andrew.butterfi...@scss.tcd.ie
Hi Gedare, pull request done Regards, Andrew On 10/03/2023, 21:23, "Gedare Bloom" mailto:ged...@rtems.org>> wrote: On Fri, Mar 10, 2023 at 8:19 AM andrew.butterfi...@scss.tcd.ie mailto:andrew.butterfi...@scss.tcd.ie>> wrote: > > Hi Gedare, > the qui

Re: Add Formal Verification chapter v3

2023-03-10 Thread Gedare Bloom
On Fri, Mar 10, 2023 at 8:19 AM andrew.butterfi...@scss.tcd.ie wrote: > > Hi Gedare, > the quick and easy way is to visit > https://github.com/andrewbutterfield/rtems-docs/commit/8165814471402d56c480b1400b121715ad507c58 > Yes, In this case, can you (or I can) create a Pull Request from your new-

Re: Add Formal Verification chapter v3

2023-03-10 Thread andrew.butterfi...@scss.tcd.ie
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

Re: Add Formal Verification chapter v3

2023-03-09 Thread Gedare Bloom
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 wrote: > > pi

Re: Add Formal Verification chapter v3

2023-03-09 Thread andrew.butterfi...@scss.tcd.ie
ping From: devel on behalf of "andrew.butterfi...@scss.tcd.ie" Date: Friday 10 February 2023 at 16:10 To: "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 Soft