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.
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.