D for safety critical applications

[rikki cattermole]

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.