klab:K框架证明浏览器和智能合约规范格式

时间:2024-05-22 07:23:17
【文件属性】:

文件名称:klab:K框架证明浏览器和智能合约规范格式

文件大小:213KB

文件格式:ZIP

更新时间:2024-05-22 07:23:17

JavaScript

实验室 注意:该软件仍处于开发的早期阶段。 如果您感到困惑,发现一些错误或仅需要一些帮助,请提出问题或通过与我们联系。 Klab是用于在生成和调试证明的工具,专门用于以太坊智能合约的形式验证。 它包括用于表达以太坊合约行为的简洁,以及一个交互式调试器。 安装 依存关系 该项目使用getopt和time的GNU版本。 OSX和gnu有复杂的关系,但是您可以运行: export PATH=/usr/local/opt/gnu-getopt/bin:/usr/local/opt/gnu-time/libexec/gnubin:/usr/local/opt/coreutils/libexec/gnubin: $PATH 使他们相处。 建造 克隆存储库并使用安装最新的稳定版本v0.4.0 git clone --branch v0.4.0 https://github.com/dapphub


网友评论