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