search

zetzit / zz

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

new constructor #33

Closed aep closed 4 years ago

aep commented 4 years ago
jwerle commented 4 years ago

Thank you for this. This is very much needed. I'll experiment with this today!

@aep is the new keyword a reserved identifier now? Notice /new/nu/ in the math lib, is that because function symbol names cannot contained reserve keywords?

aep commented 4 years ago

@jwerle great, let me know any feedback you have. feel free to open bugs.

actually it's because C++ doesn't allow it, so i just made it a keyword so you don't accidentally generate c headers unusable in C++.

jwerle commented 4 years ago

@aep makes sense! Thanks for this!