{"push_id":2664828672,"size":15,"distinct_size":0,"ref":"refs/heads/master","head":"0c9ad7d494cfdb0946c1f9382fe7a9fee99cdee6","before":"40f33b719fe75c443267a8fa7f7a07fee6ab6d7d","commits":[{"sha":"521548628504b1307e49322db3daafb9ff7a027a","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"add skip and max trail steps to Makefile","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/521548628504b1307e49322db3daafb9ff7a027a"},{"sha":"8ac2cf63add2a506e98aef54265071d97d593ebd","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"modification for LTL properties","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/8ac2cf63add2a506e98aef54265071d97d593ebd"},{"sha":"49f48e1b3fc3f06e43618600b07f8b0e04bb41dd","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"initialize values at declaration","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/49f48e1b3fc3f06e43618600b07f8b0e04bb41dd"},{"sha":"b0700f3b934d8b66d0a256f2520ea9731d0c2a0f","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"optimize the loop of tasklet action","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/b0700f3b934d8b66d0a256f2520ea9731d0c2a0f"},{"sha":"31b0910850631c482036dcc1420e0da61ce08172","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"optimize for single priority level of bottom half tasks","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/31b0910850631c482036dcc1420e0da61ce08172"},{"sha":"5ca95bb22e1283237a0b155c41f92c5fa8c85fea","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"remove inATStack check","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/5ca95bb22e1283237a0b155c41f92c5fa8c85fea"},{"sha":"51608827eba9a4257c284d57bacff916620f1250","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"modify push_and_change_AT","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/51608827eba9a4257c284d57bacff916620f1250"},{"sha":"130de885142caef9c921ef93de90a168e5985b1f","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"reset local variable: retPolicy","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/130de885142caef9c921ef93de90a168e5985b1f"},{"sha":"3023c4e7f44f2e4d735bce46641493fee3cb2a7a","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"reset local variable: ne","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/3023c4e7f44f2e4d735bce46641493fee3cb2a7a"},{"sha":"323e2923b4baaf5e43f17a39a4ae77015b0dc4df","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"reset local variable: max_prio","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/323e2923b4baaf5e43f17a39a4ae77015b0dc4df"},{"sha":"9022175210b7d394de1167f7ee51fa011c78c77d","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"remove redundant assignment of max_prio","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/9022175210b7d394de1167f7ee51fa011c78c77d"},{"sha":"862844762e1bf7188607b4f20e1897e84726789a","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"remove AWAITS statement of skip","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/862844762e1bf7188607b4f20e1897e84726789a"},{"sha":"001c98c96157f39eca37a711490c64f0fadf8f1c","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"add assert, modify style","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/001c98c96157f39eca37a711490c64f0fadf8f1c"},{"sha":"23d3fe590f2b225420d1836478fa68ea66194ed0","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"reset local variable: nextUser","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/23d3fe590f2b225420d1836478fa68ea66194ed0"},{"sha":"0c9ad7d494cfdb0946c1f9382fe7a9fee99cdee6","author":{"name":"kaizsv","email":"be53a687bbf31155817ba53e4aba77aded6fb34c@gmail.com"},"message":"add and remove assert statements","distinct":false,"url":"https://api.github.com/repos/kaizsv/pikoRT-Spin/commits/0c9ad7d494cfdb0946c1f9382fe7a9fee99cdee6"}]}
{"actor":{"display_login":"kaizsv"}}