A version of CompCompcert compatible with coq8.6 and with the Concurrent Permission Machine.
Primary LanguageCoqOtherNOASSERTION