{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":470202875,"defaultBranch":"main","name":"c4w","ownerLogin":"ImpleLee","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-15T14:43:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/80144331?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708669102.0","currentOid":""},"activityList":{"items":[{"before":"6f131a623c295354eed7e9558588d5625fac74fa","after":"3543576c968195e615803afdca408009fb37ce74","ref":"refs/heads/main","pushedAt":"2024-03-03T16:16:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"update itertools","shortMessageHtmlLink":"update itertools"}},{"before":"07c4666841974be1264003621dd02f8bd51bb909","after":null,"ref":"refs/heads/update-method-zh","pushedAt":"2024-02-23T06:18:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"}},{"before":"10bb4a15b4f31047d816f2102432a7137f44a6d9","after":"6f131a623c295354eed7e9558588d5625fac74fa","ref":"refs/heads/main","pushedAt":"2024-02-23T06:17:41.000Z","pushType":"push","commitsCount":45,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"clippy fix","shortMessageHtmlLink":"clippy fix"}},{"before":"88292e445705ffa175a5617629a9c43aa82f9d06","after":"07c4666841974be1264003621dd02f8bd51bb909","ref":"refs/heads/update-method-zh","pushedAt":"2024-01-21T16:37:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"new poset initialization interface","shortMessageHtmlLink":"new poset initialization interface"}},{"before":"61a587902a9f4db52f4e6eb2b26a1f7e2aa46611","after":"88292e445705ffa175a5617629a9c43aa82f9d06","ref":"refs/heads/update-method-zh","pushedAt":"2024-01-15T14:58:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"use `Branch` for branches in prover","shortMessageHtmlLink":"use <code>Branch</code> for branches in prover"}},{"before":"d32db8f389391e7bda05d73e3b4daf8f13f299aa","after":"61a587902a9f4db52f4e6eb2b26a1f7e2aa46611","ref":"refs/heads/update-method-zh","pushedAt":"2024-01-15T14:31:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"split pruner and provepruner","shortMessageHtmlLink":"split pruner and provepruner"}},{"before":"d62a00fc5c9176c6957861d5210196920041681d","after":"d32db8f389391e7bda05d73e3b4daf8f13f299aa","ref":"refs/heads/update-method-zh","pushedAt":"2024-01-15T14:20:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"a simple poset-based prover","shortMessageHtmlLink":"a simple poset-based prover"}},{"before":"f0d70077468706a3b363d28cc034b688053965b7","after":"d62a00fc5c9176c6957861d5210196920041681d","ref":"refs/heads/update-method-zh","pushedAt":"2023-12-29T11:05:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"sort seeds in `ParallelMinimizer`","shortMessageHtmlLink":"sort seeds in <code>ParallelMinimizer</code>"}},{"before":"0da9537c83da45dc0bdbf0f446482a6ba09b1d4a","after":"10bb4a15b4f31047d816f2102432a7137f44a6d9","ref":"refs/heads/main","pushedAt":"2023-12-29T11:00:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"use `;` instead of `{}`","shortMessageHtmlLink":"use <code>;</code> instead of <code>{}</code>"}},{"before":"73604ff9d0f8f97f4a460acb16a5c7b2aaeb6a79","after":"0da9537c83da45dc0bdbf0f446482a6ba09b1d4a","ref":"refs/heads/main","pushedAt":"2023-12-29T09:02:17.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"make `field_sequence_states` fast enough to remove `random_states`","shortMessageHtmlLink":"make <code>field_sequence_states</code> fast enough to remove <code>random_states</code>"}},{"before":"433b13ea87e7a86adcdceef11410fe25066a6ff6","after":"f0d70077468706a3b363d28cc034b688053965b7","ref":"refs/heads/update-method-zh","pushedAt":"2023-05-30T05:45:02.137Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"sort seeds in `ParallelMinimizer`","shortMessageHtmlLink":"sort seeds in <code>ParallelMinimizer</code>"}},{"before":"0e9900b4f8725a25612a516228e19796c3794267","after":"433b13ea87e7a86adcdceef11410fe25066a6ff6","ref":"refs/heads/update-method-zh","pushedAt":"2023-05-30T05:44:18.406Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"formatting","shortMessageHtmlLink":"formatting"}},{"before":"70163538cf3bce43cef28c68a2a333008c655e17","after":"0e9900b4f8725a25612a516228e19796c3794267","ref":"refs/heads/update-method-zh","pushedAt":"2023-05-29T11:12:10.893Z","pushType":"push","commitsCount":1,"pusher":{"login":"ImpleLee","name":"Imple Lee","path":"/ImpleLee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/80144331?s=80&v=4"},"commit":{"message":"`get_next` refactoring","shortMessageHtmlLink":"<code>get_next</code> refactoring"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0wM1QxNjoxNjozNy4wMDAwMDBazwAAAAQLDq-r","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0yOVQxMToxMjoxMC44OTM1NjJazwAAAAM2NKZ1"}},"title":"Activity · ImpleLee/c4w"}