A K semantics of the Solidity programming language - View it on GitHub