~ymherklotz/vericert

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

a165746 Add new if-conversion pass with top-level fold

a day ago

c3de945 Add dune-project file

2 days ago
None