{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":736765099,"defaultBranch":"main","name":"lean-cvc5","ownerLogin":"abdoo8080","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-28T20:12:20.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32971963?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1703794786.0","currentOid":""},"activityList":{"items":[{"before":"aa94ddf3793e6fd2a0ea432d09c59081e6ff6e56","after":"b8f4760a168cf2735ba2848d6af9598c2883c129","ref":"refs/heads/main","pushedAt":"2024-06-22T04:48:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Run CI on x86_64 macOS.","shortMessageHtmlLink":"Run CI on x86_64 macOS."}},{"before":"1aada857a218ada7c876974005cf5163e85ef96b","after":"aa94ddf3793e6fd2a0ea432d09c59081e6ff6e56","ref":"refs/heads/main","pushedAt":"2024-06-22T02:06:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix doc indentation.","shortMessageHtmlLink":"Fix doc indentation."}},{"before":"ab2e4bb92c4acc1db54cd536fc1d692696e458e8","after":"1aada857a218ada7c876974005cf5163e85ef96b","ref":"refs/heads/main","pushedAt":"2024-06-22T01:52:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"1088ef5027ca324c83b13bee1d5eb5e3d27e8ce4","after":"ab2e4bb92c4acc1db54cd536fc1d692696e458e8","ref":"refs/heads/main","pushedAt":"2024-06-14T08:58:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix kind toString offset bug.","shortMessageHtmlLink":"Fix kind toString offset bug."}},{"before":"00acb97db0bb56c3e8b5fedf2d564e3be444a65e","after":"1088ef5027ca324c83b13bee1d5eb5e3d27e8ce4","ref":"refs/heads/main","pushedAt":"2024-06-11T12:38:11.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Merge pull request #1 from anzenlang/v4.8.0\n\nchore: bump to 4.8.0","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2345970551\" data-permission-text=\"Title is private\" data-url=\"https://github.com/abdoo8080/lean-cvc5/issues/1\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/abdoo8080/lean-cvc5/pull/1/hovercard\" href=\"https://github.com/abdoo8080/lean-cvc5/pull/1\">#1</a> from anzenlang/v4.8.0"}},{"before":"ae7aed25566417a71f16e24958876fa0f51f907f","after":"00acb97db0bb56c3e8b5fedf2d564e3be444a65e","ref":"refs/heads/main","pushedAt":"2024-06-02T07:55:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add ToString instances.","shortMessageHtmlLink":"Add ToString instances."}},{"before":"de9e6df8776ec2758fd13a2ce3b8e8ae8d6fe31d","after":"ae7aed25566417a71f16e24958876fa0f51f907f","ref":"refs/heads/main","pushedAt":"2024-06-02T03:02:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"6ef361046c16393cc6d52e9d13cf79d17868acae","after":"de9e6df8776ec2758fd13a2ce3b8e8ae8d6fe31d","ref":"refs/heads/main","pushedAt":"2024-05-26T00:24:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with main cvc5.","shortMessageHtmlLink":"Sync with main cvc5."}},{"before":"f2dd77c3b378fadff4804055c759b4ba2fffd2fd","after":"6ef361046c16393cc6d52e9d13cf79d17868acae","ref":"refs/heads/main","pushedAt":"2024-05-26T00:23:54.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support MacOS.","shortMessageHtmlLink":"Support MacOS."}},{"before":"442cf5372232ab9255b238dbe58a14ad2f19f4e7","after":"f2dd77c3b378fadff4804055c759b4ba2fffd2fd","ref":"refs/heads/main","pushedAt":"2024-05-26T00:18:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support MacOS.","shortMessageHtmlLink":"Support MacOS."}},{"before":"2035dab164f91a24cf0b28d4671ead6f965bd1f3","after":"442cf5372232ab9255b238dbe58a14ad2f19f4e7","ref":"refs/heads/main","pushedAt":"2024-05-26T00:09:04.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with main cvc5.","shortMessageHtmlLink":"Sync with main cvc5."}},{"before":"9599de53678bbd6eb4c0ff26d795907c67ffe98a","after":"2035dab164f91a24cf0b28d4671ead6f965bd1f3","ref":"refs/heads/main","pushedAt":"2024-05-03T00:30:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"c20e9363870254db69962a3fe44f53f1da8d85a5","after":"9599de53678bbd6eb4c0ff26d795907c67ffe98a","ref":"refs/heads/main","pushedAt":"2024-05-03T00:29:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"0b2837e3923f61db44d292eb31962644a3458163","after":"c20e9363870254db69962a3fe44f53f1da8d85a5","ref":"refs/heads/main","pushedAt":"2024-05-02T07:22:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Simplify build script.","shortMessageHtmlLink":"Simplify build script."}},{"before":"fd3ead34495eb367d4691060b8e20cb1984def53","after":"0b2837e3923f61db44d292eb31962644a3458163","ref":"refs/heads/main","pushedAt":"2024-04-29T21:35:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update AUTHORS","shortMessageHtmlLink":"Update AUTHORS"}},{"before":"d62f6cf415826b5e684e4de0dde78564a4b20468","after":"fd3ead34495eb367d4691060b8e20cb1984def53","ref":"refs/heads/main","pushedAt":"2024-04-29T21:33:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add readme.","shortMessageHtmlLink":"Add readme."}},{"before":"4ce8cdb6b2b7b3e1bcffbc555830646fff681890","after":"d62f6cf415826b5e684e4de0dde78564a4b20468","ref":"refs/heads/main","pushedAt":"2024-04-29T21:17:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"01a1955980cd1de611307830182391969f711cb2","after":"4ce8cdb6b2b7b3e1bcffbc555830646fff681890","ref":"refs/heads/main","pushedAt":"2024-04-29T21:15:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Create AUTHORS","shortMessageHtmlLink":"Create AUTHORS"}},{"before":"6e0b926487a4431b20633515dfc0363a8ae1e496","after":"01a1955980cd1de611307830182391969f711cb2","ref":"refs/heads/main","pushedAt":"2024-04-28T07:11:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync kind.","shortMessageHtmlLink":"Sync kind."}},{"before":"b3e36ea74d7a61bd951aee41f98e25de48cd1a51","after":"6e0b926487a4431b20633515dfc0363a8ae1e496","ref":"refs/heads/main","pushedAt":"2024-04-28T06:41:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add regex rewrite rule.","shortMessageHtmlLink":"Add regex rewrite rule."}},{"before":"d2e0b98db0e45f6168c265aee779579823365368","after":"b3e36ea74d7a61bd951aee41f98e25de48cd1a51","ref":"refs/heads/main","pushedAt":"2024-04-28T06:11:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"e4a83b9000df50f07c12ceb4244f776eb9a1dd8c","after":"d2e0b98db0e45f6168c265aee779579823365368","ref":"refs/heads/main","pushedAt":"2024-04-28T06:07:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add build CI.","shortMessageHtmlLink":"Add build CI."}},{"before":"9005f743bb9648174a6da06d2457a5afb5eaa82b","after":"e4a83b9000df50f07c12ceb4244f776eb9a1dd8c","ref":"refs/heads/main","pushedAt":"2024-04-28T06:07:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add build CI.","shortMessageHtmlLink":"Add build CI."}},{"before":"e759423b4d550a09225ba2116065692a2fce711d","after":"9005f743bb9648174a6da06d2457a5afb5eaa82b","ref":"refs/heads/main","pushedAt":"2024-04-28T06:05:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Sync with cvc5 main.","shortMessageHtmlLink":"Sync with cvc5 main."}},{"before":"fae276b2a4838254e530b0716742f9b21b5092fc","after":"e759423b4d550a09225ba2116065692a2fce711d","ref":"refs/heads/main","pushedAt":"2024-04-28T03:56:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add build CI.","shortMessageHtmlLink":"Add build CI."}},{"before":"5fe21a96ffeac4e759207030be5985efec92ab15","after":"fae276b2a4838254e530b0716742f9b21b5092fc","ref":"refs/heads/main","pushedAt":"2024-04-21T23:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Add back cadical.","shortMessageHtmlLink":"Add back cadical."}},{"before":"bf8ba848c763ce8c251def414a57d721964bf1f0","after":"5fe21a96ffeac4e759207030be5985efec92ab15","ref":"refs/heads/main","pushedAt":"2024-04-21T07:22:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Fix out-of-sync kinds.","shortMessageHtmlLink":"Fix out-of-sync kinds."}},{"before":"8b1502965ffe79ce9c788d119cec7d520c68f127","after":"bf8ba848c763ce8c251def414a57d721964bf1f0","ref":"refs/heads/main","pushedAt":"2024-04-19T02:06:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support cvc5's main API for rewrite rules.","shortMessageHtmlLink":"Support cvc5's main API for rewrite rules."}},{"before":"70009eac8636e125b4b2382d21447afa5d24a635","after":"8b1502965ffe79ce9c788d119cec7d520c68f127","ref":"refs/heads/main","pushedAt":"2024-04-18T06:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Support sort beq and hash.","shortMessageHtmlLink":"Support sort beq and hash."}},{"before":"6d383e0bfa92006a8b8d5ac1d302a68059cffdaa","after":"70009eac8636e125b4b2382d21447afa5d24a635","ref":"refs/heads/main","pushedAt":"2024-04-15T07:33:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"abdoo8080","name":"Abdalrhman Mohamed","path":"/abdoo8080","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32971963?s=80&v=4"},"commit":{"message":"Update cvc5 and Lean versions.","shortMessageHtmlLink":"Update cvc5 and Lean versions."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbCH5AQA","startCursor":null,"endCursor":null}},"title":"Activity · abdoo8080/lean-cvc5"}