Re: add Formal Verification chapter v5

2023-11-14 Thread andrew.butterfi...@scss.tcd.ie
Hi Chris, It looks fine - no major issues. Thanks for the update 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 Sc

Re: add Formal Verification chapter v5

2023-11-13 Thread Chris Johns
On 14/11/2023 7:29 am, Chris Johns wrote: > On 14/11/2023 3:42 am, andrew.butterfi...@scss.tcd.ie wrote: >> Is there a timeline for when the document will be rebuilt to show the new >> chapter? > > I need to run this manually at the moment. I will take a look today. > Updated. Please check. Th

Re: add Formal Verification chapter v5

2023-11-13 Thread Chris Johns
On 14/11/2023 3:42 am, andrew.butterfi...@scss.tcd.ie wrote: > Is there a timeline for when the document will be rebuilt to show the new > chapter? I need to run this manually at the moment. I will take a look today. And thanks for the documentation and your contributions. Thanks Chris

Re: add Formal Verification chapter v5

2023-11-13 Thread andrew.butterfi...@scss.tcd.ie
Gedare, Sebastian, Thanks for all you help and good feedback. Is there a timeline for when the document will be rebuilt to show the new chapter? Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204

Re: add Formal Verification chapter v5

2023-11-09 Thread Gedare Bloom
Andrew, Thanks for working through this. Gedare On Thu, Nov 9, 2023 at 7:19 AM andrew.butterfi...@scss.tcd.ie wrote: > > Hello Sebastian, > Thanks for that, and the fixes ! > > Regards, Andrew > > > Andrew Butterfield Tel: +

Re: add Formal Verification chapter v5

2023-11-09 Thread andrew.butterfi...@scss.tcd.ie
Hello Sebastian, Thanks for that, and the fixes ! 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

Re: eng: add Formal Verification chapter v5

2023-11-09 Thread Sebastian Huber
Hello Andrew, thanks for your patience. I checked in the patch set as a single patch. I removed all white space at the end of lines and added the TCD copyright to the index. https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df Kind regards, Sebastian