issues
search
zetzit
/
zz
πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k
stars
52
forks
source link
release 0.1
#24
Closed
aep
closed
4 years ago
aep
commented
4 years ago
tracking issue for first release
[x] #14
[ ] #13
[ ] #22
[x] #17
fogti
commented
4 years ago
17 is closed.
tracking issue for first release