Re: [docs] eng: Use a recommendation for requirement texts

I understand this change. I wonder if there are some terms that you definitely want to avoid though? Do you have tooling to warn on the use of these terms in requirements? If not, that could be something easy for a student to put together as a beginner/janitor task. On Tue, Jan 17, 2023 at 8:38

Re: [PATCH v2 1/1] RSB: Mitigate too short error reports

OK to push. Thanks Chris On 21/1/2023 2:06 am, Frank Kuehndel wrote: > From: Frank Kühndel > > Close #4642 > --- > source-builder/sb/ereport.py | 4 +++- > 1 file changed, 3 insertions(+), 1 deletion(-) > > diff --git a/source-builder/sb/ereport.py b/source-builder/sb/ereport.py > index

Re: [PATCH] build: Update PyYAML to 5.4.1

On Thu, Jan 19, 2023 at 11:27 PM Sebastian Huber wrote: > > On 20.01.23 03:59, Chris Johns wrote: > > On 20/1/2023 1:51 pm, Gedare Bloom wrote: > >> On Thu, Jan 19, 2023 at 5:23 PM Chris Johns wrote: > >>> On 20/1/2023 2:19 am, Sebastian Huber wrote: > The latest version is 6.0 which

[PATCH v2 1/1] RSB: Mitigate too short error reports

From: Frank Kühndel Close #4642 --- source-builder/sb/ereport.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source-builder/sb/ereport.py b/source-builder/sb/ereport.py index d8fb5f6..52ee2eb 100755 --- a/source-builder/sb/ereport.py +++ b/source-builder/sb/ereport.py

[PATCH v2 0/1] RSB: Mitigate too short error reports

From: Frank Kühndel Hello, this is the promised patch to close my bug report #4642 https://devel.rtems.org/ticket/4642 "RSB: log.py tends to remove relevant error messages". I tested it using Christian's Github CI - see his Email:

Re: Add Formal Verification chapter v2

> On 25/11/2022 07:46, Sebastian Huber > wrote: >> On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote: >>> On 16/11/2022 16:44, Gedare Bloom wrote: >>>Section 9.7 "RTEMS Formal Model Guide" seems like it includes both >>>some aspects of a How-To but also a lot of details that