iele-semantics:IELE原型区块链的虚拟机语义

IELE：K 中新区块链 VM 的语义 在这个存储库中，我们提供了 K 中的 IELE 模型。 结构 文件包含的语法定义，以及指导读者了解语言结构的注释和各种功能更详细描述的链接。 该文件是熟悉该语言的良好起点。 文件解释了的基本数据（包括单词和一些数据结构）。 该数据是按功能定义的。 是包含 IELE 语义的文件。 该文件包含配置（状态图）和 IELE 赖以存在的简单命令式执行机器。 它处理操作码和解析/解解析/组装/反汇编的语义。 描述了 gas 价格计算。 以一种不知道 K 的人可读的格式总结了它们。 定义了每个操作码和反汇编器的助记符。 定义了用于将 IELE VM 插入另一个客户端以创建完整节点的 protobuf 通信协议。 从加载测试文件并执行它们，检查输出是否正确。 如果输出正确，则整个配置将被清除。 如果任何检查失败，配置将在<k>单元格的顶部保留失败的检查。