~ymherklotz/vericert

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

0a15dc1 Remove some commented Admitted lemmas

a month ago

edbd370 Remove all dead code from the project

a month ago
None