produce geth command to deploy a contract

pirapira / evmverif

An EVM code verification framework in Coq

Apache License 2.0

44 stars 8 forks source link

produce geth command to deploy a contract #2

Open pirapira opened 7 years ago

pirapira commented 7 years ago

The contracts in this repository are not yet automatically deplorable. This issue keeps track of producing a geth RPC command automatically for deploying contracts.