0f261156_The_CompCert_verified_compiler__Pass
[Source & target] Clight to Csharpminor [Compiler code] Cshmgen [Correctness proof] Cshmgenproof [Pass] 
Simplification of control structures; explication of type-dependent computations
The CompCert verified compiler
Pass