3 ms·

""The CompCert verified compiler is distributed under the terms of the INRIA Non-Commercial License Agreement given below."" It's some non-commercial non-free

by dmm 13y ago

""The CompCert verified compiler is distributed under the terms of the INRIA Non-Commercial License Agreement given below."" It's some non-commercial non-free license. Only certain files are GPL? I don't think this would be redistributable...