search

zetzit / zz

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

Add some docs for in lining included C source as modules #42

Closed jwerle closed 4 years ago

aep commented 4 years ago

Thanks!

Could you merge all your correction commits into one? It's cleaner when merging to master .

I generally just force push to PR branches, GitHub is handling this correctly

jwerle commented 4 years ago

@aep done!

aep commented 4 years ago

Thanks!