use `rsmt2` from crates.io instead of from `git` - Githubissues

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

use `rsmt2` from crates.io instead of from `git` #162

Closed dm9pZCAq closed 2 years ago

aep commented 2 years ago

thanks!