News for hackers. Stuff that matters.

A comment on CompCert - Compilers you can formally trust. Parent comment

Re:CompCert - Compilers you can formally trust by jgmatpdx on Saturday June 04, 2011 @02:15PM (#2620056)
It is a list of formally verified C compilers. At the moment, there's one.
[ Parent | on HN ]

There are no comments on this comment yet.