Re: [PATCH] glossary: Add terms

On 29.11.23 09:13, Sebastian Huber wrote: On 28.11.23 20:49, andrew.butterfi...@scss.tcd.ie wrote:     +    scenario     +        In a setting that involves many concurrent tasks that     interleave in arbitrary     +        ways, a scenario describes a single specific possible     interleaving.

Re: [PATCH] glossary: Add terms

On 28.11.23 20:49, andrew.butterfi...@scss.tcd.ie wrote: +    scenario +        In a setting that involves many concurrent tasks that interleave in arbitrary +        ways, a scenario describes a single specific possible interleaving.  One +        interpretation of the be

Re: [PATCH] glossary: Add terms

On 28.11.23 20:31, Joel Sherrill wrote: +    GPL +        This term is an acronym for +        `GNU General Public License >`__. + +    GPLv3 +        This term is an acronym for +        `GNU General Publ

Re: [PATCH] glossary: Add terms

On 28.11.23 20:31, Joel Sherrill wrote: +    formal model +        A model of a computing component (hardware or software) that has a +        mathematically based :term:`semantics`. Why is this duplicated? Don't we have a single glossary file? There are other duplicates below.

Re: [PATCH] glossary: Add terms

From: devel on behalf of Joel Sherrill Reply to: "j...@rtems.org" Date: Tuesday 28 November 2023 at 19:31 To: Sebastian Huber Cc: "devel@rtems.org" Subject: Re: [PATCH] glossary: Add terms On Tue, Nov 28, 2023 at 10:27 AM Sebastian Huber mailto:sebastian.hu..

Re: [PATCH] glossary: Add terms

On Tue, Nov 28, 2023 at 10:27 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote: > --- > c-user/glossary.rst | 50 +++ > eng/fv/approaches.rst | 2 +- > eng/fv/overview.rst | 6 +++--- > eng/glossary.rst | 26 +- >

[PATCH] glossary: Add terms

--- c-user/glossary.rst | 50 +++ eng/fv/approaches.rst | 2 +- eng/fv/overview.rst | 6 +++--- eng/glossary.rst | 26 +- 4 files changed, 75 insertions(+), 9 deletions(-) diff --git a/c-user/glossary.rst b/c-user/glossary.rst

Re: [PATCH] glossary: Add terms

OK On 29/9/21 8:45 pm, Sebastian Huber wrote: > --- > c-user/glossary.rst | 30 ++ > 1 file changed, 30 insertions(+) > > diff --git a/c-user/glossary.rst b/c-user/glossary.rst > index f85c08c..e91e356 100644 > --- a/c-user/glossary.rst > +++ b/c-user/glossary.rst > @

[PATCH] glossary: Add terms

--- c-user/glossary.rst | 30 ++ 1 file changed, 30 insertions(+) diff --git a/c-user/glossary.rst b/c-user/glossary.rst index f85c08c..e91e356 100644 --- a/c-user/glossary.rst +++ b/c-user/glossary.rst @@ -101,9 +101,21 @@ Glossary C++11 The standard ISO