C compcert.inria.fr CompCert - Compilers you can formally trust 32 points evangineer 15 years ago 28 comments
