News for hackers. Stuff that matters.
Re:CompCert – Formally-verified C compiler by bombcar on Sunday June 27, 2021 @02:56AM (#27649252)
It appears that the LGPL does NOT cover the "meat" of the codebase (see the directories arm, x86, etc) and instead covers the "edges" where their code may interact with other code.

A comment indicates they relicensed some of it GPL->LGPL so I assume they hold the copyright.

The BSD licensed stuff seems to be imported code.

There are no comments on this comment yet.