{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":656618014,"defaultBranch":"master","name":"rewrite-aaltafd","ownerLogin":"licoded","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-21T09:51:07.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/42663693?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688631201.0","currentOid":""},"activityList":{"items":[{"before":"5b0fd83f13e86ec8bd6e0dbaaa199e6f9ea13c29","after":"3349d69937a60e6bbe00381cfc1368dc243d0ca1","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-09T04:09:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"stash","shortMessageHtmlLink":"stash"}},{"before":"b5656c117783672fb61c5d80716169cb9d720d8a","after":"5b0fd83f13e86ec8bd6e0dbaaa199e6f9ea13c29","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:48:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChcker: add `record_try_sat_begin/end()` funcs","shortMessageHtmlLink":"CARChcker: add <code>record_try_sat_begin/end()</code> funcs"}},{"before":"46bc7f7669cd1232452f5cddd116e37de994bf77","after":"b5656c117783672fb61c5d80716169cb9d720d8a","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:47:51.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChcker: add `record_try_sat_begin/end()` funcs","shortMessageHtmlLink":"CARChcker: add <code>record_try_sat_begin/end()</code> funcs"}},{"before":"cdf2da4dca5fb45d8b050e38fd8ea04338910ad8","after":"46bc7f7669cd1232452f5cddd116e37de994bf77","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:46:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChcker: add `record_try_sat_begin/end()` funcs","shortMessageHtmlLink":"CARChcker: add <code>record_try_sat_begin/end()</code> funcs"}},{"before":"9af2ff1bcf92e601444cdb0c84555c371e9d27c7","after":"cdf2da4dca5fb45d8b050e38fd8ea04338910ad8","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:45:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChcker: add `record_try_sat_begin/end()` funcs","shortMessageHtmlLink":"CARChcker: add <code>record_try_sat_begin/end()</code> funcs"}},{"before":"2cec58b9bb245d9e752161ca85964745f02e71b7","after":"9af2ff1bcf92e601444cdb0c84555c371e9d27c7","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:43:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChcker: add `record_try_sat_begin/end()` funcs","shortMessageHtmlLink":"CARChcker: add <code>record_try_sat_begin/end()</code> funcs"}},{"before":"5bdd6b522e036fac81d5c8375c32ed4d650360f3","after":"2cec58b9bb245d9e752161ca85964745f02e71b7","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:36:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"CARChecker: modify the return logic of `try_satisfy()` func","shortMessageHtmlLink":"CARChecker: modify the return logic of <code>try_satisfy()</code> func"}},{"before":"3cd53c6fa854231e391fd9c820032bacfa7a1fc4","after":"5bdd6b522e036fac81d5c8375c32ed4d650360f3","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:19:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"evidence: add its support","shortMessageHtmlLink":"evidence: add its support"}},{"before":null,"after":"3cd53c6fa854231e391fd9c820032bacfa7a1fc4","ref":"refs/heads/feature/print-json","pushedAt":"2023-07-06T08:13:21.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"edit `.gitignore`; uncomment all hjson output/print","shortMessageHtmlLink":"edit <code>.gitignore</code>; uncomment all hjson output/print"}},{"before":"08907016e3e485f7278d74459cab15a27e2dfc10","after":"31618c542beae374d4ab58a9def4ed7804b5cefd","ref":"refs/heads/release/speedup","pushedAt":"2023-07-06T08:07:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"main: remove extra comments of af init","shortMessageHtmlLink":"main: remove extra comments of af init"}},{"before":null,"after":"58b4e42cab90f7b67e52ed813f1f863d206a474c","ref":"refs/heads/feature/evidence","pushedAt":"2023-07-06T08:06:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"evidence: add its support","shortMessageHtmlLink":"evidence: add its support"}},{"before":"168176d808ed98b93df36143a2212d7b10932f2d","after":"08907016e3e485f7278d74459cab15a27e2dfc10","ref":"refs/heads/release/speedup","pushedAt":"2023-07-06T07:46:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"main: fix bug of char","shortMessageHtmlLink":"main: fix bug of char"}},{"before":"05519086cb8f16e52642a9fbbcdcbf61ae01a755","after":"168176d808ed98b93df36143a2212d7b10932f2d","ref":"refs/heads/release/speedup","pushedAt":"2023-07-06T07:46:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"main: fix bug of char","shortMessageHtmlLink":"main: fix bug of char"}},{"before":"58017d2c094f98ae5be6fe78a23cf7625c27f195","after":"05519086cb8f16e52642a9fbbcdcbf61ae01a755","ref":"refs/heads/release/speedup","pushedAt":"2023-07-06T07:12:33.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"docs: records","shortMessageHtmlLink":"docs: records"}},{"before":null,"after":"58017d2c094f98ae5be6fe78a23cf7625c27f195","ref":"refs/heads/release/speedup","pushedAt":"2023-07-06T06:20:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"main: support get input af str from stdin","shortMessageHtmlLink":"main: support get input af str from stdin"}},{"before":"8a81a700d297d819b51cd9689a090a532c5c4a91","after":"73f2bd0fc951872d50e535210233218dd5ad8af7","ref":"refs/heads/master","pushedAt":"2023-07-05T23:55:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"plan TODOs for today","shortMessageHtmlLink":"plan TODOs for today"}},{"before":"02f8b050e3e3580abaaf421f56a371746f76de4c","after":"8a81a700d297d819b51cd9689a090a532c5c4a91","ref":"refs/heads/master","pushedAt":"2023-07-05T23:54:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"plan TODOs for today","shortMessageHtmlLink":"plan TODOs for today"}},{"before":"3a3d54d6d1b899ca93e8d28cb2524836a8c7a9c3","after":"02f8b050e3e3580abaaf421f56a371746f76de4c","ref":"refs/heads/master","pushedAt":"2023-07-05T23:54:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"plan TODOs for today","shortMessageHtmlLink":"plan TODOs for today"}},{"before":"b4295ff6ae3a7231ce46fdf238d50115d2233cbd","after":"3a3d54d6d1b899ca93e8d28cb2524836a8c7a9c3","ref":"refs/heads/master","pushedAt":"2023-07-05T23:39:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"make: add `dout` with DEBUG flag\n\nTODO: deal with for loop.\n      Although cout(s) are not executed, the for loop(s) still runs.","shortMessageHtmlLink":"make: add <code>dout</code> with DEBUG flag"}},{"before":"67f38b1377d2d7eb58255c22c29c15f77c041d4b","after":"b4295ff6ae3a7231ce46fdf238d50115d2233cbd","ref":"refs/heads/master","pushedAt":"2023-07-05T15:20:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"opt, may directly solve true/false without specified judge","shortMessageHtmlLink":"opt, may directly solve true/false without specified judge"}},{"before":"20a2b3e6163a4d2570747bebe3b878ea69466c58","after":"67f38b1377d2d7eb58255c22c29c15f77c041d4b","ref":"refs/heads/master","pushedAt":"2023-07-05T15:13:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"fix-big-bug: `inv_found` loss a `i++` in while loop","shortMessageHtmlLink":"fix-big-bug: <code>inv_found</code> loss a <code>i++</code> in while loop"}},{"before":"2a42f2116f949aa745517d67b2d3925c2cb6b8ce","after":"20a2b3e6163a4d2570747bebe3b878ea69466c58","ref":"refs/heads/master","pushedAt":"2023-07-05T14:05:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"add comments for `get_transition()` func","shortMessageHtmlLink":"add comments for <code>get_transition()</code> func"}},{"before":"02aab3af9db3089e206570c2c3e530b2e6084bed","after":"2a42f2116f949aa745517d67b2d3925c2cb6b8ce","ref":"refs/heads/master","pushedAt":"2023-07-05T11:16:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"print: uc\n\nPS: add comments for `get_selected_uc()` and `get_models()`","shortMessageHtmlLink":"print: uc"}},{"before":"0488b357f07183a625425c5b51b81e2fc4054629","after":"02aab3af9db3089e206570c2c3e530b2e6084bed","ref":"refs/heads/master","pushedAt":"2023-07-05T10:28:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"af: add `to_set_string()` for print","shortMessageHtmlLink":"af: add <code>to_set_string()</code> for print"}},{"before":"ee25849af5cef76b83ea4a9e79ca6128c92901b6","after":"0488b357f07183a625425c5b51b81e2fc4054629","ref":"refs/heads/master","pushedAt":"2023-07-05T09:02:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"stash for add debug info","shortMessageHtmlLink":"stash for add debug info"}},{"before":"6c0a864986d67ebbac22bcb905e562cb0c1c4a27","after":"ee25849af5cef76b83ea4a9e79ca6128c92901b6","ref":"refs/heads/master","pushedAt":"2023-07-05T07:18:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"myhjson: extract as a file","shortMessageHtmlLink":"myhjson: extract as a file"}},{"before":"9ad3870b9ec9133dad52ea722e3a561e8b9c2025","after":"6c0a864986d67ebbac22bcb905e562cb0c1c4a27","ref":"refs/heads/master","pushedAt":"2023-07-05T07:17:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"myhjson: extract as a file","shortMessageHtmlLink":"myhjson: extract as a file"}},{"before":"8cc9b383dffa97d4547503819e3449c0c6427319","after":"9ad3870b9ec9133dad52ea722e3a561e8b9c2025","ref":"refs/heads/master","pushedAt":"2023-07-05T06:58:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"print: add `record_transition()` func","shortMessageHtmlLink":"print: add <code>record_transition()</code> func"}},{"before":null,"after":"68bf633bfe09b7719c5d1349ca9d30aa582e81df","ref":"refs/heads/feature/makefile2","pushedAt":"2023-07-05T06:29:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"try again, fail again","shortMessageHtmlLink":"try again, fail again"}},{"before":"51374bdc0fe66e33b3dfcca4b9367af7e0445248","after":"8cc9b383dffa97d4547503819e3449c0c6427319","ref":"refs/heads/master","pushedAt":"2023-07-05T06:02:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"licoded","name":"51265902012","path":"/licoded","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42663693?s=80&v=4"},"commit":{"message":"make: make it can debug","shortMessageHtmlLink":"make: make it can debug"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADUZFhdQA","startCursor":null,"endCursor":null}},"title":"Activity · licoded/rewrite-aaltafd"}