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

~ymherklotz/vericert

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

8943376 Update README icons

~ymherklotz pushed to ~ymherklotz/vericert git

10 months ago

1f1b5c6 Update github workflows

~ymherklotz pushed to ~ymherklotz/vericert git

10 months ago

View project feed RSS

None