~ymherklotz/vericert

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

~ymherklotz/vericert

The purpose of this list is for any discussions relative to Vericert.

~ymherklotz/vericert-devel

Mailing list for development discussion and patches related to the vericert project. For help sending patches to this list, please consult git-send-email.io.