dapphub / dapptools

Dapp, Seth, Hevm, and more
https://dapp.tools
2.1k stars 325 forks source link

Add seth-verify #43

Open mbrock opened 6 years ago

mbrock commented 6 years ago

Issue by nanexcool Thursday Dec 14, 2017 at 15:36 GMT Originally opened as https://github.com/dapphub/seth/pull/23


Closes #20


nanexcool included the following code: https://github.com/dapphub/seth/pull/23/commits

asymmetric commented 5 years ago

@nanexcool Do you want to re-open the PR against this repo?

nanexcool commented 5 years ago

Let's ask @kennyrowe he asked for this functionality here https://github.com/dapphub/seth/issues/20