Add Formal Verification chapter v3

[Andrew.Butterfield at 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 the patch-set I sent.

Will that do?

Regards,
  Andrew



On 09/03/2023, 20:22, "Gedare Bloom" <gedare at rtems.org <mailto:gedare at 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.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>
<Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>> wrote:
>
> ping
>
>
>
>
>
> From: devel <devel-bounces at rtems.org <mailto:devel-bounces at rtems.org>> on behalf of "Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>" <Andrew.Butterfield at scss.tcd.ie <mailto:Andrew.Butterfield at scss.tcd.ie>>
> Date: Friday 10 February 2023 at 16:10
> To: "rtems-devel at rtems.org <mailto:rtems-devel at rtems.org>" <rtems-devel at rtems.org <mailto:rtems-devel at 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 at rtems.org <mailto:devel at rtems.org>
> http://lists.rtems.org/mailman/listinfo/devel <http://lists.rtems.org/mailman/listinfo/devel>