search

zetzit / zz

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

Module Symbol Exports #81

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

Looking around at the docs emitter, it doesn't seem too difficult to emit all the parsed symbols in the loaded modules to something like JSON. This could make it easier to expose ZZ symbols in a module to other systems for tooling.

What are your thoughts on this @aep?

aep commented 4 years ago

uuuh which stage are you thinking about? you mean like export the functions and globals?

the verification is already exported as SMT.

jwerle commented 4 years ago

Nice, didn't know that. I'll check it out. As far as stages, not sure. I need to dive into that part of the code

aep commented 4 years ago

is this still relevant?

jwerle commented 4 years ago

Nope