issues
search
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
Array/memory functionality
#5
Closed
p0llard
closed
4 years ago