jiangying

2022-09-20

review、讨论: https://github.com/move-language/move/pull/490

测试 move tuple 语法的细节：

        let (_x1, _x2,) = (1, 2,); // Test a trailing comma in the let binding
        let (_x1, _x2) = (1, 2); // Test a trailing comma in the let binding
        let (_x) = (1);
        let _x = (1);
        let _x = (1,);
// 用最新的 move cli，analyzer，这里所有表达式都是合法的，所有变量都被推导为u64类型

review：https://github.com/starcoinorg/starcoin/pull/3749

研究 starcoinorg/move starcoin-main、dev 分支测试有很多失败的问题：https://github.com/starcoinorg/move/issues/19 https://github.com/starcoinorg/move/issues/20 （两个月以前试过一次修复，那时测试错误多到修不过来，就放弃了），提出pr：https://github.com/starcoinorg/move/pull/21

2022-09-19

重新检查和关闭：https://github.com/starcoinorg/starcoin/issues/3508 ，https://github.com/starcoinorg/starcoin/issues/3654

查看测试失败的问题和解决方案：https://github.com/starcoinorg/starcoin/pull/3741

review：https://github.com/starcoinorg/move/pull/18

pr: https://github.com/starcoinorg/starcoin/pull/3744 https://github.com/starcoinorg/starcoin/pull/3745

2022-09-17

review: https://github.com/move-language/move/pull/485

2022-09-16

pr: https://github.com/young-rocks/rocks-smt/pull/1

2022-09-14