search

zetzit / zz

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

bump rsmt2 #164

Closed dm9pZCAq closed 2 years ago

dm9pZCAq commented 2 years ago

closes: #163