3 ms·CompCertM: CompCert w/ Lightweight Modular Verification & Multi-Language Linking1 points by matt_d 7y ago