A standalone version of the parser validator library in CompCert, as used by Coq code generated by Menhir.
First run ./configure in the root directory, and then run make.
This repository has been archived by the owner on Jul 13, 2020. It is now read-only.