~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

~ymherklotz pushed to ~ymherklotz/vericert git

a day ago

c3de945 Add dune-project file

~ymherklotz pushed to ~ymherklotz/vericert git

2 days ago
View project feed 
None