2020年9月16日
2020年09月15日-项目开发-python二次处理代码文件
摘要： Caterpillar通过将BPMN生成为solidity代码后, 我需要对solidity代码做二次处理,即在其中的特定函数中插入event类型,以便去做事件监听. 最终生成的不仅包括solidity的事件部分,还包括了web3js的事件监听模块. 第一个问题是在solidity程序中,找到特定的 阅读全文
posted @ 2020-09-16 00:00 goto2091 阅读(176) 评论(0) 推荐(0)
2020年9月10日
AIbee 笔试
摘要： CSS选择器 div+p 选择紧接在div元素之后的所有< p >元素 C++删除数组最后一个元素。 例如[1 2 3 4] 最后变为 [1 2 3] 用splice的删除，增加和替换 array.slice(0, -1) slice进行浅克隆。 从0(闭区间)到最后一位(开区间) slice(a, 阅读全文
posted @ 2020-09-10 21:31 goto2091 阅读(223) 评论(0) 推荐(0)
2020年9月6日
用C++生成solidity语言描述的buchi自动机的初级经验
摘要： 我的项目rvtool(https://github.com/Zeraka/rvtool)中增加了生成solidity语言格式的监控器的模块。 solidity特殊之处在于，它是运行在以太坊虚拟机环境中的。EVM和环境是隔离的，因此无法直接读取文件。所以rvtool中通过读取LTL文本生成监控器的方式 阅读全文
posted @ 2020-09-06 07:32 goto2091 阅读(291) 评论(0) 推荐(0)