The Compcert Verified Compiler

Misses, Misters,

I would greatly appreciate to have your comments on this research 
project, if possible, please :

The *Compcert* verified compiler <http://compcert.inria.fr/doc/index.html>


I look forward to your answer,

Best Regards,

GF