search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

github actions #99

Closed aep closed 4 years ago

aep commented 4 years ago

implement #80

jwerle commented 4 years ago

yess! sorry I have been extra busy the past 10 days