语义学 源码

KEEI:以太坊环境接口( )的K语义 在此存储库中,我们提供了K中以太坊环境接口的模型。该模型最初是通过拆分[KEVM]的特定于区块链的部分获得的。 安装/构建 系统依赖 构建/运行KEVM需要以下内容: [Pandoc> = 1.17]被用来产生*.k从文件*.md文件。 GNU , 和 。 GNU 和 。 Java 8 JDK(例如 ) ,重要提示:15.04之前的Ubuntu用户必须从源代码构建,因为14.10及版本的Ubuntu安装已损坏。 opam repository还需要rsync 。 在Ubuntu> = 15.04上(例如): sudo apt-get i