zetzit / zz

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

inline even into headers #103

Closed aep closed 4 years ago

aep commented 4 years ago

ext inlines used to not be inlined when emitting headers, but i don't remember why. this specifically breaks net, which relies on external c types in exported structs.

the ifdef wrappers around everything should fix whatever the original problem was with inlining headers (other than the massive text bloat)

aep commented 4 years ago

nope, should not