Re: Phrases for CONSTRAINTS section in the directive documentation

ng/ > > ___ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-220

Re: [PATCH v2] eng: Requirements counting shall start at zero

as-11.yml >>+ >> Conflict Free Requirements >> -- >> >>-- >>2.26.2 >> >>___ >>devel mailing list >>devel@rtems.org <mailto:deve

Re: [PATCH] eng: Requirements counting shall start at zero

-alias-0.yml > +weak-alias-1.yml > + > Conflict Free Requirements > -- > > -- > 2.26.2 > > ___ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel ---

Re: [PATCH] eng: Move code formatting rules into one section

he closing ``*/`` should go at the end of the last line. I think this is closer to what was discussed earlier: The closing ``*/`` should appear on a line by itself at the end. -------- Andrew Butterfield Tel: +353-1-896-2517 Fax:

Re: Out of tree builds with waf?

741 - 08 > PGP: Public key available on request. > > embedded brains GmbH > Registergericht: Amtsgericht München > Registernummer: HRB 157899 > Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler > Unsere Datenschutzerklärung finden Sie hier: > https://embedded-brains.de/d

Re: Problem re-building RTEMS docs

r Now the documents all build, off 6.8fe0da2-modified (27th October 2020) - thanks for you support Andrew > On 3 Nov 2020, at 18:12, Andrew Butterfield > wrote: > > Hi Sebastian, > > I thought `git submodule update` would do it - my bad > > I tried `git submodule sync`,

Re: Problem re-building RTEMS docs

n 3 Nov 2020, at 18:01, Sebastian Huber > wrote: > > On 03/11/2020 18:47, Andrew Butterfield wrote: > >> $ ./waf >> Waf: Entering directory >> `/Users/butrfeld/REPOS/rtems-central/modules/rtems-docs/build' >> Build: 6.0c13e94-modified (3rd July 2020) >

Re: Problem re-building RTEMS docs

Hi Sebatian, sorry - a typo - the line was . env/bin/active as it says in the rtems-central README.md file. I was running in the venv - I just edited out all the (env) indicators... > On 3 Nov 2020, at 17:59, Sebastian Huber > wrote: > > On 03/11/2020 18:47, Andrew Butte

Re: Problem re-building RTEMS docs

mation) ANy ideas? Note that I can run Sphinx based document builds in the ESA gitlab folders without any difficulties, and no virtual envs. Regards, Andrew > On 3 Nov 2020, at 16:10, Sebastian Huber > wrote: > > On 03/11/2020 17:00, Andrew Butterfield wrote: > &g

Problem re-building RTEMS docs

n OS X Catalina All suggestions welcome Best 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 Scienc

Re: RTEMS big comment conventions

a is based on C with the same comment syntax, I am happy to adopt the RTEMS C/C++ comment standards for my files. Regards, Andrew -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Softw

Re: RTEMS big comment conventions

at the how-tos for these . Ticket first, then patch, I assume. Regards, Andrew -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School

RTEMS big comment conventions

precedes code. I am developing code (C and Promela) for the qualification activity, and want to start to get this right - so which should I use? Regards, Andrew Butterfield Andrew Butterfield Tel: +353-1-896-2517 Fax: +353

Re: Build fail on debian - Toolset build error

ke. :- type python2 python2 is hashed (/Library/Frameworks/Python.framework/Versions/2.7/bin/python2) Thanks, Andrew > On 12 Oct 2020, at 11:21, Karel Gardas wrote: > > On 10/12/20 12:17 PM, Andrew Butterfield wrote: >> Dear all, >> I am having a problem building

Fwd: Build fail on debian - Toolset build error

Dear all, I am having a problem building RTEMs master, on OS X Mojave - see below > Begin forwarded message: > > From: Sebastian Huber > Subject: Re: Build fail on debian - Toolset build error > Date: 12 October 2020 at 10:48:17 IST > To: Andrew Butterfield > > Hell

Re: Strong APA Scheduler : First Draft

__ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verifi

Re: Update to waf 2.0.19?

Hi Sebastian, this is fine by me. Regards, Andrew Sent from my iPad > On 25 Feb 2020, at 08:02, Sebastian Huber > wrote: > > Hello, > > in order to close this bug: > > https://devel.rtems.org/ticket/3569 > > I would like to update waf to the latest version 2.0.19 in: > > rtems-docs >

Re: SPDX License Identifier Only and Full Copy?

Sebastian Huber > <mailto:sebastian.hu...@embedded-brains.de>> wrote: > Hello Andrew, > > On 24/02/2020 10:48, Andrew Butterfield wrote: > > Hi Sebastian, > > > > a quick question > > - does the Doxygen block requirement also apply to test programs > > (x

Re: SPDX License Identifier Only and Full Copy?

ist > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel ---- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of

Re: SPDX License Identifier Only and Full Copy?

DING NEGLIGENCE OR OTHERWISE) > * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE > * POSSIBILITY OF SUCH DAMAGE. > */ > Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification R

Re: RTEMS qualification and code annotations

purpose, > relatively low user base tools will have great cross host support > unless we work with them. > will not have great cross host support? Best regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundation

Re: RTEMS qualification and code annotations

Andrew * ACSL = "ANSI C Specification Language" > On 10 Sep 2019, at 02:36, Chris Johns wrote: > > On 6/9/19 9:40 pm, Andrew Butterfield wrote: >> However, if the implementation code contains loops, then we need annotations >> in >> the code at those loops. Th

FormalRTEMS - Postdoc in formal verification of real-time OS

. Application deadline, 12noon, Irish Standard Time, Wednesday, 18th September. Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Sci

FormalRTEMS - Postdoc in formal verification of real-time OS

. Application deadline, 12noon, Irish Standard Time, Wednesday, 18th September. Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Sci

Re: Formal Verification within the ESA funded RTEMS-SMP qualification activity

rification? Any > academic papers giving hints there? Yes - I'll get back to you on this later > Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods R

Formal Verification within the ESA funded RTEMS-SMP qualification activity

and thanks, Andrew Butterfield -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, T

Re: RTEMS Software Coding Standard

Hi Joel, unfortunately, Taster is closed-source, so that won't help. I'll see what output I can get out of Frama-C and its open-source plugins. Regards, Andrew > On 25 Jul 2019, at 10:37, Andrew Butterfield > wrote: > > Hi Joel, > > a quick answer: > >> On

Re: RTEMS Software Coding Standard

to this later today. Regards, Andrew -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Ins