~ymherklotz/vericert

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

42ab738 Add incremental evaluability check

8 days ago

f9511b8 Add better implementation of evaluability

11 days ago
None