/CompCert

Fork of CompCert that extracts a specific set of modules useful for Gillian-C

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.