search

zetzit / zz

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

dont allow unitinialized access #32

Closed aep closed 4 years ago

aep commented 4 years ago

fixes #13

aep commented 4 years ago

this is too far behind. closing

jwerle commented 4 years ago

@aep should we keep or delete branch?

aep commented 4 years ago

@jwerle right, forgot that thanks