Shared module instantiations for function calls

ymherklotz / vericert

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

https://vericert.ymhg.org

GNU General Public License v3.0

86 stars 5 forks source link

Closed mpardalos closed 3 years ago