The CompCert formally-verified C compiler, with added memory leak checking
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.