search

zetzit / zz

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

Fix warnings #161

Closed interwhy closed 3 years ago

interwhy commented 3 years ago

This branch fixes a few warnings I saw while building zz with nightly rust. The warnings mention they'll become errors in future releases, so it's probably best to fix it now. See the commit messages for more info.

aep commented 3 years ago

thanks!