{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":664746026,"defaultBranch":"main","name":"eggcc","ownerLogin":"egraphs-good","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-10T16:47:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71104912?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723242053.0","currentOid":""},"activityList":{"items":[{"before":"b3c866541b01208649b48c3dc3aebf5fdfa5b705","after":null,"ref":"refs/heads/proofs","pushedAt":"2024-08-09T22:20:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"}},{"before":"49c505e7e4d6c34bb50e4f4a99be2dde0dc36df1","after":"c07234fffbbf7f392e959cb2621342aab4a082ab","ref":"refs/heads/main","pushedAt":"2024-08-09T22:20:51.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"Merge pull request #628 from egraphs-good/proofs\n\nMechanized semantics and proofs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2458609956\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/628\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/628/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/628\">#628</a> from egraphs-good/proofs"}},{"before":null,"after":"b3c866541b01208649b48c3dc3aebf5fdfa5b705","ref":"refs/heads/proofs","pushedAt":"2024-08-09T20:09:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rtjoa","name":"Ryan Tjoa","path":"/rtjoa","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/51928404?s=80&v=4"},"commit":{"message":"add proofs","shortMessageHtmlLink":"add proofs"}},{"before":"1596512a1fdee3ab6bacf45dc4424c46c2a4dfd0","after":"43e18eac5568dfdb6c50742697f814c9838a4162","ref":"refs/heads/yihozhang-ivt-dag-in-context","pushedAt":"2024-08-06T19:49:25.000Z","pushType":"push","commitsCount":81,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge branch 'main' into yihozhang-ivt-dag-in-context","shortMessageHtmlLink":"Merge branch 'main' into yihozhang-ivt-dag-in-context"}},{"before":null,"after":"853f33c67c502002bb2e1a4ee948692a455bf2d4","ref":"refs/heads/oflatt-o1-o2","pushedAt":"2024-08-06T16:44:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"add O0 O1 O2 O3 support for llvm","shortMessageHtmlLink":"add O0 O1 O2 O3 support for llvm"}},{"before":"596dd66b7666a278cce54aef0509050f0e76ef92","after":null,"ref":"refs/heads/oflatt-rename-run-mode2","pushedAt":"2024-08-06T16:14:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"}},{"before":"4d5bdac6e4c1c6fbaeba6b40c66e1823fcfcde7d","after":"49c505e7e4d6c34bb50e4f4a99be2dde0dc36df1","ref":"refs/heads/main","pushedAt":"2024-08-06T16:14:15.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"Merge pull request #626 from egraphs-good/oflatt-rename-run-mode2\n\nRename to RunMode, since I keep confusing everyone","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2449804377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/626\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/626/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/626\">#626</a> from egraphs-good/oflatt-rename-run-mode2"}},{"before":null,"after":"596dd66b7666a278cce54aef0509050f0e76ef92","ref":"refs/heads/oflatt-rename-run-mode2","pushedAt":"2024-08-06T02:27:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"rename to RunMode","shortMessageHtmlLink":"rename to RunMode"}},{"before":"b91918680c96c7053f6d786b703a7d388328da8a","after":"4d5bdac6e4c1c6fbaeba6b40c66e1823fcfcde7d","ref":"refs/heads/main","pushedAt":"2024-08-06T02:04:04.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"oflatt","name":"Oliver Flatt","path":"/oflatt","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8523445?s=80&v=4"},"commit":{"message":"Merge pull request #625 from clyben/licm_test\n\nFix Loop Invariant Code Motion","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2373891344\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/625\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/625/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/625\">#625</a> from clyben/licm_test"}},{"before":"cf0807b1f1e4778b82b418cb88608d356f5500e1","after":"b91918680c96c7053f6d786b703a7d388328da8a","ref":"refs/heads/main","pushedAt":"2024-06-20T04:41:14.000Z","pushType":"pr_merge","commitsCount":24,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"Merge pull request #554 from clyben/prettyprint\n\nPrettyprinter","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2286633091\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/554\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/554/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/554\">#554</a> from clyben/prettyprint"}},{"before":"992680c47616feb494094d9af2764527ffc5208b","after":null,"ref":"refs/heads/ajpal-nightly","pushedAt":"2024-06-13T01:29:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"ajpal","name":"Anjali Pal","path":"/ajpal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8787187?s=80&v=4"}},{"before":"2051557a55c03dcf8ef760e3ec4439f4ebb3444f","after":"cf0807b1f1e4778b82b418cb88608d356f5500e1","ref":"refs/heads/main","pushedAt":"2024-06-13T01:29:12.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"ajpal","name":"Anjali Pal","path":"/ajpal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8787187?s=80&v=4"},"commit":{"message":"Merge pull request #624 from egraphs-good/ajpal-nightly\n\n[Nightly] Small fixes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2347767375\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/624\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/624/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/624\">#624</a> from egraphs-good/ajpal-nightly"}},{"before":null,"after":"992680c47616feb494094d9af2764527ffc5208b","ref":"refs/heads/ajpal-nightly","pushedAt":"2024-06-12T04:15:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ajpal","name":"Anjali Pal","path":"/ajpal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8787187?s=80&v=4"},"commit":{"message":"prettier","shortMessageHtmlLink":"prettier"}},{"before":"6f45397944ffc49f5e4313ee6c406a49f6a5f21f","after":null,"ref":"refs/heads/fix-install","pushedAt":"2024-06-07T20:12:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"}},{"before":"379c29921cc16884d0ed789ec77d5eba200405d1","after":"2051557a55c03dcf8ef760e3ec4439f4ebb3444f","ref":"refs/heads/main","pushedAt":"2024-06-07T20:12:31.000Z","pushType":"pr_merge","commitsCount":44,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Merge pull request #622 from egraphs-good/fix-state-passthrough\n\nFix state passthrough (banish the shadow realm)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2332514523\" data-permission-text=\"Title is private\" data-url=\"https://github.com/egraphs-good/eggcc/issues/622\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/egraphs-good/eggcc/pull/622/hovercard\" href=\"https://github.com/egraphs-good/eggcc/pull/622\">#622</a> from egraphs-good/fix-state-passthrough"}},{"before":"40e43e7d8926bd390e0ef292c71838f277b49fce","after":null,"ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-07T20:12:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"}},{"before":"1aa395a0ee94231ec570d2b1d3185e5c49354367","after":"40e43e7d8926bd390e0ef292c71838f277b49fce","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-07T03:19:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Resolve review comments","shortMessageHtmlLink":"Resolve review comments"}},{"before":"eaded6f3cd29470490c25f7442f61ae24fa3e05b","after":"87d21bfd8d4c3faffecf3151fa8ceece0e7ec876","ref":"refs/heads/peggy-benchmark","pushedAt":"2024-06-07T00:02:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kirstenmg","name":null,"path":"/kirstenmg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32720576?s=80&v=4"},"commit":{"message":"Remove returns from main","shortMessageHtmlLink":"Remove returns from main"}},{"before":null,"after":"6f45397944ffc49f5e4313ee6c406a49f6a5f21f","ref":"refs/heads/fix-install","pushedAt":"2024-06-06T21:21:59.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ajpal","name":"Anjali Pal","path":"/ajpal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8787187?s=80&v=4"},"commit":{"message":"Update install.sh","shortMessageHtmlLink":"Update install.sh"}},{"before":"e523f4fd86afea5a9d2560e9de29026924f0ac8d","after":"1aa395a0ee94231ec570d2b1d3185e5c49354367","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-05T21:20:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Resolve review comments","shortMessageHtmlLink":"Resolve review comments"}},{"before":"1aa395a0ee94231ec570d2b1d3185e5c49354367","after":"e523f4fd86afea5a9d2560e9de29026924f0ac8d","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-05T21:19:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Discard Cargo.lock change","shortMessageHtmlLink":"Discard Cargo.lock change"}},{"before":"79381c16695e2dd06b9d023f1c43e2eb9b2f841c","after":"1aa395a0ee94231ec570d2b1d3185e5c49354367","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-05T20:46:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Resolve review comments","shortMessageHtmlLink":"Resolve review comments"}},{"before":"068a8996b7c7e3b386823cd3191da1d5ec7e24d8","after":"eaded6f3cd29470490c25f7442f61ae24fa3e05b","ref":"refs/heads/peggy-benchmark","pushedAt":"2024-06-05T04:39:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kirstenmg","name":null,"path":"/kirstenmg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32720576?s=80&v=4"},"commit":{"message":"Infinite loop is failing","shortMessageHtmlLink":"Infinite loop is failing"}},{"before":"1a952ad65ea2b21f718e34ea8c0a0af97983190e","after":"068a8996b7c7e3b386823cd3191da1d5ec7e24d8","ref":"refs/heads/peggy-benchmark","pushedAt":"2024-06-05T03:56:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"kirstenmg","name":null,"path":"/kirstenmg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32720576?s=80&v=4"},"commit":{"message":"Infinite loop is failing","shortMessageHtmlLink":"Infinite loop is failing"}},{"before":"56fec6a8518ab3865cd83ee610a7a8f4a399f5c1","after":"1a952ad65ea2b21f718e34ea8c0a0af97983190e","ref":"refs/heads/peggy-benchmark","pushedAt":"2024-06-05T03:53:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kirstenmg","name":null,"path":"/kirstenmg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32720576?s=80&v=4"},"commit":{"message":"Add benchmark files","shortMessageHtmlLink":"Add benchmark files"}},{"before":null,"after":"00b87bea77891ef5c35d95c9c6f6807ca2851cd5","ref":"refs/heads/pp_test","pushedAt":"2024-06-05T00:53:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yihozhang","name":"Yihong Zhang","path":"/yihozhang","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13150100?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"32d15c64af91edd26b3ff9bf5009a87f647c2186","after":null,"ref":"refs/heads/fix-state-passthrough-catalan","pushedAt":"2024-06-04T05:01:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"}},{"before":"a566810716f7fedbb7934c0e0ac27b2e1e20163f","after":"79381c16695e2dd06b9d023f1c43e2eb9b2f841c","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-04T04:37:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"snapshots twice","shortMessageHtmlLink":"snapshots twice"}},{"before":"13876d09ae5e8b231205343f5cb411dfe0c301ea","after":"a566810716f7fedbb7934c0e0ac27b2e1e20163f","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-04T04:33:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Cargo.lock","shortMessageHtmlLink":"Cargo.lock"}},{"before":"602cb9e53a11c0e16d1b7a82fb1f90e76f327cfa","after":"13876d09ae5e8b231205343f5cb411dfe0c301ea","ref":"refs/heads/fix-state-passthrough","pushedAt":"2024-06-04T04:27:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Alex-Fischman","name":"Alex Fischman","path":"/Alex-Fischman","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28601326?s=80&v=4"},"commit":{"message":"Snapshots once more","shortMessageHtmlLink":"Snapshots once more"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wOVQyMjoyMDo1My4wMDAwMDBazwAAAASWrNmy","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wOVQyMjoyMDo1My4wMDAwMDBazwAAAASWrNmy","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0wNFQwNDoyNzo1OS4wMDAwMDBazwAAAARbmdmR"}},"title":"Activity · egraphs-good/eggcc"}