search

zetzit / zz

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

implement async on win32 #98

Open aep opened 4 years ago

aep commented 4 years ago

96 introduces the basic api design for async, but this needs to be validated if the api works well on win32.