Skip to content

v0.5.17-solc-verify

Latest
Compare
Choose a tag to compare
@dddejan dddejan released this 29 Jul 15:18
· 7 commits to boogie since this release
adding Dockerfile to build from local source and extend README