Re: Phrases for CONSTRAINTS section in the directive documentation

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

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

>>+alias-11.yml >>+ >> Conflict Free Requirements >> -- >> >>-- >>2.26.2 >> >>___ >>devel mailing list >>devel@rtems.org

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?

Phone: +49-89-18 94 741 - 16 > Fax: +49-89-18 94 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är

Re: Problem re-building RTEMS docs

ow 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`, bu

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

;/Users/butrfeld/REPOS/rtems-central/modules/rtems-docs/build/user/html/index.html' failed with exit status 2 (run with -v to display more information) ANy ideas? Note that I can run Sphinx based document builds in the ESA gitlab folders without any difficulties, and no virtual envs. R

Problem re-building RTEMS docs

.1.3 ... This is on 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 Schoo

Re: RTEMS big comment conventions

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

w-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 of C

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

doesn't like. :- 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 p

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 > rt

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?

OR TORT (INCLUDING 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 &

Re: RTEMS qualification and code annotations

suspect that any of > these special 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

Re: RTEMS qualification and code annotations

Regards, 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

RTEMS qualification and code annotations

Dear RTEMS developers, as some of you may be aware, I am leading a task as part of the RTEMS Qualification activity that explores the use of formal methods to assist with code verifications. Some of these techniques work best if annotations are added to source code, but these annotations are *not

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 Science

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 Science

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

in OS formal verification? 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 Foundat

Formal Verification within the ESA funded RTEMS-SMP qualification activity

rds, 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 In

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: > &g

Re: RTEMS Software Coding Standard

digging into 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&

Re: Easy Approach to Requirements Syntax?

on request. > > Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. > ___ > devel mailing list > devel@rtems.org > http://lists.rtems.org/mailman/listinfo/devel -