News for hackers. Stuff that matters.

A comment on CompCert – Formally-verified C compiler. Parent comment

Re:CompCert – Formally-verified C compiler by astrange on Sunday June 27, 2021 @03:12PM (#27654328)
You can link to GPL libraries from proprietary code if you buy a commercial license from the library's copyright owner.
[ Parent | on HN ]

There are no comments on this comment yet.