Ferrocene released as open source

Posted Oct 10, 2023 14:31 UTC (Tue) by atnot (subscriber, #124910)
In reply to: Ferrocene released as open source by farnz
Parent article: Ferrocene released as open source

> the purpose of a qualified compiler is not to make arbitrary C code certifiable. It's to let you do the certification audit at the source code level, not at the object code level.

I hadn't thought about it that way, but that's so much mode concicely and better put than my big paragraphs, thank you.