~ymherklotz/vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

~ymherklotz/vericert git

A formally verified high-level synthesis tool based on CompCert and written in Coq.

~ymherklotz/compcert git

CompCert mirror with minor changes for Vericert.

~ymherklotz/vericert-docs git

Vericert documentation website.