I think it's important to note that you can't use it commercially. "The INRIA Non-Commercial License Agreement is a non-free license that grants you the right

I think it's important to note that you can't use it commercially. "The INRIA Non-Commercial License Agreement is a non-free license that grants you the right to use the CompCert verified compiler for educational, research or evaluation purposes only, but prohibits any commercial use. For commercial use you need a Software Usage Agreement from AbsInt Angewandte Informatik GmbH."