zetzit / zz

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

rwrite recursive type resolution #17

Closed aep closed 4 years ago

aep commented 4 years ago

this finally allows recursive types by making a distinction between incomplete and complete types. Not something ZZ needs, but the C compiler does.

types can now depend on other types incomplete definition

breaking change. some code that relied on stable dependency ordering may have to be refactored.