语义学 源码
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
文件列表
eei-semantics-master.zip
(预估有个6文件)
eei-semantics-master
.gitmodules
232B
eei.md
34KB
.build
k
pandoc-tangle
.gitignore
249B
eei-driver.md
635B
Makefile
2KB
README.md
3KB
暂无评论