News for hackers. Stuff that matters.

A comment on The CompCert C Compiler. Parent comment

Re:The CompCert C Compiler by user2342 on Monday May 27, 2024 @07:11AM (#40489671)
They may work as expected (and probably will), but they are not covered by the proof.
[ Parent | on HN ]

There are no comments on this comment yet.