{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":419221553,"defaultBranch":"main","name":"hakim","ownerLogin":"babaeee","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-10-20T07:07:32.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71522339?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706471032.0","currentOid":""},"activityList":{"items":[{"before":"10bc10e379bc8eb72a18eaaff073104ab10027b7","after":"bd66f91d48b06d62e41f1ac3e36b19cf8d0b62e3","ref":"refs/heads/gh-pages","pushedAt":"2024-04-02T14:18:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"392ce8d8467669695a77364ea7aafa14b7d10bfc","after":"25384d5e2ef4c1d93861bf7333c81d5e672de5b0","ref":"refs/heads/main","pushedAt":"2024-04-02T14:16:12.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge pull request #35 from babaeee/mz3\n\nfix z3_auto","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2220646199\" data-permission-text=\"Title is private\" data-url=\"https://github.com/babaeee/hakim/issues/35\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/babaeee/hakim/pull/35/hovercard\" href=\"https://github.com/babaeee/hakim/pull/35\">#35</a> from babaeee/mz3"}},{"before":"a28bd1b3bc4fbac651a373c3d005c6b24a752f4e","after":"9492a2eded86148a20a4d053a8196b0a4d2f8bd8","ref":"refs/heads/mz3","pushedAt":"2024-04-02T13:42:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"fix z3_auto","shortMessageHtmlLink":"fix z3_auto"}},{"before":"097319682445d22aea9b786072ca9cbe2e361533","after":"10bc10e379bc8eb72a18eaaff073104ab10027b7","ref":"refs/heads/gh-pages","pushedAt":"2024-03-31T07:53:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"520f053f389d99b36687e93443f167cbe206b612","after":"392ce8d8467669695a77364ea7aafa14b7d10bfc","ref":"refs/heads/main","pushedAt":"2024-03-31T07:51:11.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge pull request #34 from babaeee/mz3\n\nMz3","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2216832121\" data-permission-text=\"Title is private\" data-url=\"https://github.com/babaeee/hakim/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/babaeee/hakim/pull/34/hovercard\" href=\"https://github.com/babaeee/hakim/pull/34\">#34</a> from babaeee/mz3"}},{"before":"e505efa8fdbb6ba3bebd9aa24dc2b969758dc98a","after":"a28bd1b3bc4fbac651a373c3d005c6b24a752f4e","ref":"refs/heads/mz3","pushedAt":"2024-03-31T07:46:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"define species as relation","shortMessageHtmlLink":"define species as relation"}},{"before":"8a631a23980f4e1ed842c8833324bb33b675fb2f","after":"e505efa8fdbb6ba3bebd9aa24dc2b969758dc98a","ref":"refs/heads/mz3","pushedAt":"2024-02-22T11:34:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"generate z3-status with smt-lib2 language","shortMessageHtmlLink":"generate z3-status with smt-lib2 language"}},{"before":"e436c135e4b70f08137e186cb5aa0c87ff0c9834","after":"097319682445d22aea9b786072ca9cbe2e361533","ref":"refs/heads/gh-pages","pushedAt":"2024-02-02T10:21:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"b5256ce20e1af905903f0029ae1fdb049260c279","after":"520f053f389d99b36687e93443f167cbe206b612","ref":"refs/heads/main","pushedAt":"2024-02-02T10:18:59.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge pull request #33 from babaeee/mz3\n\nadd pigeonhole_principle","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2114570851\" data-permission-text=\"Title is private\" data-url=\"https://github.com/babaeee/hakim/issues/33\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/babaeee/hakim/pull/33/hovercard\" href=\"https://github.com/babaeee/hakim/pull/33\">#33</a> from babaeee/mz3"}},{"before":"3f1ef225cec35c31fd6279020cf20dd6ac938c69","after":"8a631a23980f4e1ed842c8833324bb33b675fb2f","ref":"refs/heads/mz3","pushedAt":"2024-02-02T10:17:09.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge branch 'main' into mz3","shortMessageHtmlLink":"Merge branch 'main' into mz3"}},{"before":"8069c9b717244874a387948015694bd24317b6d0","after":"e436c135e4b70f08137e186cb5aa0c87ff0c9834","ref":"refs/heads/gh-pages","pushedAt":"2024-02-02T10:16:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"3ff789b70a251cfe6e85fcbcfe42ba596e6717fa","after":"b5256ce20e1af905903f0029ae1fdb049260c279","ref":"refs/heads/main","pushedAt":"2024-02-02T10:13:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add some theorems","shortMessageHtmlLink":"Add some theorems"}},{"before":"c789f98b6f8f39f23f67b5716032dd7033a4d151","after":"3f1ef225cec35c31fd6279020cf20dd6ac938c69","ref":"refs/heads/mz3","pushedAt":"2024-02-02T10:13:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"add pigeonhole_principle","shortMessageHtmlLink":"add pigeonhole_principle"}},{"before":"0725edd07ee682b8e2aa8d0f6c925008a6d3f350","after":"c789f98b6f8f39f23f67b5716032dd7033a4d151","ref":"refs/heads/mz3","pushedAt":"2024-02-02T10:11:46.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge branch 'main' of github.com:babaeee/hakim into mz3","shortMessageHtmlLink":"Merge branch 'main' of github.com:babaeee/hakim into mz3"}},{"before":"d1688f9fb9d39c7805bbb56cc5dcf6ca8e529e28","after":"8069c9b717244874a387948015694bd24317b6d0","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T19:19:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"f74e0d5153c942c1dd8f6124c6c40a849d09e5dc","after":"3ff789b70a251cfe6e85fcbcfe42ba596e6717fa","ref":"refs/heads/main","pushedAt":"2024-02-01T19:16:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add append_len","shortMessageHtmlLink":"Add append_len"}},{"before":"9d158fa910cb0fc73fde8430a1660b8ff8b534a9","after":"d1688f9fb9d39c7805bbb56cc5dcf6ca8e529e28","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T15:07:53.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"e2bf40cbc441472743abd509090716ef71529641","after":"f74e0d5153c942c1dd8f6124c6c40a849d09e5dc","ref":"refs/heads/main","pushedAt":"2024-02-01T15:05:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add valid_paren_cnt_eq","shortMessageHtmlLink":"Add valid_paren_cnt_eq"}},{"before":"9e2e2226121e0af21ae3ace49ecdede95cb7d93b","after":"9d158fa910cb0fc73fde8430a1660b8ff8b534a9","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T14:51:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"31cb04fc7d84d495aa810f24991b618ef89f6b89","after":"e2bf40cbc441472743abd509090716ef71529641","ref":"refs/heads/main","pushedAt":"2024-02-01T14:48:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add utm_reject_invalid_format","shortMessageHtmlLink":"Add utm_reject_invalid_format"}},{"before":"98f36d028db353c5fa226b66d13d12bf8742ab58","after":"9e2e2226121e0af21ae3ace49ecdede95cb7d93b","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T14:27:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"28ff0f592a4d2ace38ec9ca9cd6e6cfb31f3f20d","after":"31cb04fc7d84d495aa810f24991b618ef89f6b89","ref":"refs/heads/main","pushedAt":"2024-02-01T14:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add button to disable auto filter","shortMessageHtmlLink":"Add button to disable auto filter"}},{"before":"f123a24e7474b8cc9044f9a72a7ac8cfb748c78c","after":"98f36d028db353c5fa226b66d13d12bf8742ab58","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T11:44:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"9d5ad6c0f563c8c55d8e4ead28067a47dc29ba98","after":"28ff0f592a4d2ace38ec9ca9cd6e6cfb31f3f20d","ref":"refs/heads/main","pushedAt":"2024-02-01T11:42:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"HKalbasi","name":null,"path":"/HKalbasi","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/45197576?s=80&v=4"},"commit":{"message":"Add cnt_firstn_le and cnt_ge_0","shortMessageHtmlLink":"Add cnt_firstn_le and cnt_ge_0"}},{"before":"2bebdab7871ca2267f6eb0efef199e21e3b98ca8","after":"f123a24e7474b8cc9044f9a72a7ac8cfb748c78c","ref":"refs/heads/gh-pages","pushedAt":"2024-02-01T10:19:09.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"d06789c2c59f5fdde1e83498da2fc7d11d5fe343","after":"9d5ad6c0f563c8c55d8e4ead28067a47dc29ba98","ref":"refs/heads/main","pushedAt":"2024-02-01T10:16:24.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge pull request #31 from babaeee/mz3\n\nadd cnt property","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2112102243\" data-permission-text=\"Title is private\" data-url=\"https://github.com/babaeee/hakim/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/babaeee/hakim/pull/31/hovercard\" href=\"https://github.com/babaeee/hakim/pull/31\">#31</a> from babaeee/mz3"}},{"before":"8253f31c9fe3675cc69cff65d3a8c82e765a1bda","after":"0725edd07ee682b8e2aa8d0f6c925008a6d3f350","ref":"refs/heads/mz3","pushedAt":"2024-02-01T10:15:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"add cnt property","shortMessageHtmlLink":"add cnt property"}},{"before":"13cc69fdb0620e5857ad6ba80c675f08f1a8b761","after":"2bebdab7871ca2267f6eb0efef199e21e3b98ca8","ref":"refs/heads/gh-pages","pushedAt":"2024-01-31T22:02:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy to GitHub pages","shortMessageHtmlLink":"Deploy to GitHub pages"}},{"before":"73ea0d92cd33bfd019158875bab537cbd061a2d3","after":"d06789c2c59f5fdde1e83498da2fc7d11d5fe343","ref":"refs/heads/main","pushedAt":"2024-01-31T21:59:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"Merge pull request #30 from babaeee/mz3\n\nadd some rep property","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2111042982\" data-permission-text=\"Title is private\" data-url=\"https://github.com/babaeee/hakim/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/babaeee/hakim/pull/30/hovercard\" href=\"https://github.com/babaeee/hakim/pull/30\">#30</a> from babaeee/mz3"}},{"before":"d0256a646088fb656ff956a31d7c5874b505a8d8","after":"8253f31c9fe3675cc69cff65d3a8c82e765a1bda","ref":"refs/heads/mz3","pushedAt":"2024-01-31T21:59:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"arshiamoeini","name":null,"path":"/arshiamoeini","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/89344055?s=80&v=4"},"commit":{"message":"add some rep property","shortMessageHtmlLink":"add some rep property"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJaCKZgA","startCursor":null,"endCursor":null}},"title":"Activity · babaeee/hakim"}