zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

Fix Windows CI #77

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

Fixes #76