D for safety critical applications

rikki cattermole rikki at cattermole.co.nz
Mon Feb 8 16:44:18 UTC 2021

On 09/02/2021 4:44 AM, Imperatorn wrote:
> We might not need the compiler to be certified if we can do other tests 
> (like using Klee etc). But was curious if it had been discussed before.

Walter has said, that we won't do certification without a reason.
Once we have a reason such as your company we can determine what needs 
to be done, and do it.

The next step is to talk to him I think.

More information about the Digitalmars-d mailing list