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