[PATCH 00/18] Adds Formal Verification Material

Sebastian Huber sebastian.huber at embedded-brains.de
Tue Jan 3 13:27:16 UTC 2023

Hello Andrew,

I wish you also a Happy New Year.

On 03/01/2023 12:42, Andrew.Butterfield at scss.tcd.ie wrote:
> Hello Sebastian,
>   Yes - I noticed that problem - I got a lot of responses about those emails being referred to the moderator.
> Some of those blocked patches were adding in archive material. I did this because of recent interactions
> with the follow-up ESA project looking at Independent Validation and Verification (IV&V). They didn't just
> want to see the starting models and final test code and results, but also all the intermediate artifacts.
> This can be quite a large amount of data.
> On reflection, it may not make much sense to include this stuff
> - rather the proposed new section in the Software Engineering Manual should mention the need to make
> such archives available.
> I'll do the fork/patch/PR as you suggested (I can leave the archive stuff out - it's generated by the tooling anyway).

As a rule of thumb, generated stuff should not be included in the 
repository. However, the user of the repository should be able to 
regenerate everything in its own environment.

embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:

More information about the devel mailing list