DistributedComponents / coq-parser-validator

Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator

Parser Validator

A standalone version of the parser validator library in CompCert, as used by Coq code generated by Menhir.

Requirements

• Coq 8.6

Building

First run ./configure in the root directory, and then run make.