{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":208307278,"defaultBranch":"main","name":"act","ownerLogin":"ethereum","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-09-13T16:50:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6250754?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726570866.0","currentOid":""},"activityList":{"items":[{"before":"43aafd323b935ae55d304156ca0779352aa08346","after":"c814eb4299d081a0ad34211cac71db18f1be5ede","ref":"refs/heads/addr-block","pushedAt":"2024-09-19T15:34:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"WIP type checking","shortMessageHtmlLink":"WIP type checking"}},{"before":"d2af7376c575dafdb3bcef109d19335f2717f87d","after":"43aafd323b935ae55d304156ca0779352aa08346","ref":"refs/heads/addr-block","pushedAt":"2024-09-17T15:37:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"WIP typing","shortMessageHtmlLink":"WIP typing"}},{"before":"20a65e70313dbf26986db8393c624f2fe0803695","after":"c1ed9c596081b67000d96a511f32f30762a984a0","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-09-17T13:29:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"nit","shortMessageHtmlLink":"nit"}},{"before":"84be0ad7334f7ab341d492b0a449ae553bd7493e","after":"20a65e70313dbf26986db8393c624f2fe0803695","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-09-17T13:26:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"hevm update","shortMessageHtmlLink":"hevm update"}},{"before":"8eb0ca426f92faa1026aecfb73a6351aa53e61f3","after":"d2af7376c575dafdb3bcef109d19335f2717f87d","ref":"refs/heads/addr-block","pushedAt":"2024-09-17T11:54:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"No Contract type in the AST","shortMessageHtmlLink":"No Contract type in the AST"}},{"before":"02be389bc11d55783ae9c38ba8b92c98e0b8182b","after":"84be0ad7334f7ab341d492b0a449ae553bd7493e","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-09-17T11:03:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"bump flake","shortMessageHtmlLink":"bump flake"}},{"before":null,"after":"8eb0ca426f92faa1026aecfb73a6351aa53e61f3","ref":"refs/heads/addr-block","pushedAt":"2024-09-17T11:01:06.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"syntax for pointers block","shortMessageHtmlLink":"syntax for pointers block"}},{"before":"d737ad3072a36c53df5d130c8c5c7f5b8e861537","after":"deb66c883e72a9c33a1435a4c36b0ca6a7eae2f4","ref":"refs/heads/casting-new","pushedAt":"2024-09-04T20:30:48.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Support contract equality","shortMessageHtmlLink":"Support contract equality"}},{"before":"ae2a518d0dc1372144e7867fc3ebd0f64f5577b7","after":"02be389bc11d55783ae9c38ba8b92c98e0b8182b","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-09-02T16:18:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Fix compilation error","shortMessageHtmlLink":"Fix compilation error"}},{"before":"e4cbf6c9395a65fabae5cdc3949980bd89cfb5d4","after":"d737ad3072a36c53df5d130c8c5c7f5b8e861537","ref":"refs/heads/casting-new","pushedAt":"2024-08-30T08:26:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"toExpr from contract variables -- this allows returning contracts from behaviours","shortMessageHtmlLink":"toExpr from contract variables -- this allows returning contracts fro…"}},{"before":"2ec04a6daf493fb6855630e37a20bd65eb54dca6","after":"e4cbf6c9395a65fabae5cdc3949980bd89cfb5d4","ref":"refs/heads/casting-new","pushedAt":"2024-08-27T11:57:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Fix off-by-one error","shortMessageHtmlLink":"Fix off-by-one error"}},{"before":"75f991be2f601c1404ea3b87632b12bf9db4d853","after":"2ec04a6daf493fb6855630e37a20bd65eb54dca6","ref":"refs/heads/casting-new","pushedAt":"2024-08-26T14:53:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Fix compilation error after rebase","shortMessageHtmlLink":"Fix compilation error after rebase"}},{"before":"0a63176660262f3b65657f8f4f6a7af8614cb4ba","after":"206a9b28290135ea7f3617d6c15f2c515bc1ff00","ref":"refs/heads/main","pushedAt":"2024-08-26T09:52:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Create funding.json (#187)","shortMessageHtmlLink":"Create funding.json (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2486446104\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/act/issues/187\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/act/pull/187/hovercard\" href=\"https://github.com/ethereum/act/pull/187\">#187</a>)"}},{"before":null,"after":"a8cf78a00e423a2ea08801030fb261cf9b5371fe","ref":"refs/heads/zoep-patch-1","pushedAt":"2024-08-26T09:51:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Create funding.json","shortMessageHtmlLink":"Create funding.json"}},{"before":"66409411573f570da85b3f749a3f3976b3ada1fd","after":"bb55c5df57ac33f9cc4592f2de3dfd89286e0637","ref":"refs/heads/freshAddr","pushedAt":"2024-08-24T11:09:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Add new tests","shortMessageHtmlLink":"Add new tests"}},{"before":"73c56f460915bade0a3fcc1a0841f3dd4021e964","after":"66409411573f570da85b3f749a3f3976b3ada1fd","ref":"refs/heads/freshAddr","pushedAt":"2024-08-24T10:59:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Fix fresh address bug","shortMessageHtmlLink":"Fix fresh address bug"}},{"before":"75fcaf4b199a044f2080ca42c6ad99afc987b435","after":"73c56f460915bade0a3fcc1a0841f3dd4021e964","ref":"refs/heads/freshAddr","pushedAt":"2024-08-23T15:58:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"WIP fresh addresses","shortMessageHtmlLink":"WIP fresh addresses"}},{"before":null,"after":"75fcaf4b199a044f2080ca42c6ad99afc987b435","ref":"refs/heads/freshAddr","pushedAt":"2024-08-23T15:34:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Thread fresh address to hevm","shortMessageHtmlLink":"Thread fresh address to hevm"}},{"before":"c8883cde827ff252e07ef0885670266fae759e31","after":"ae2a518d0dc1372144e7867fc3ebd0f64f5577b7","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-08-20T19:10:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Nits","shortMessageHtmlLink":"Nits"}},{"before":"d8a1767c66fa01962b54903413d42573192c44df","after":"c8883cde827ff252e07ef0885670266fae759e31","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-08-20T19:05:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Act compiling","shortMessageHtmlLink":"Act compiling"}},{"before":null,"after":"d8a1767c66fa01962b54903413d42573192c44df","ref":"refs/heads/bump-nixpkgs","pushedAt":"2024-08-19T22:23:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"WIP in compiling Act","shortMessageHtmlLink":"WIP in compiling Act"}},{"before":null,"after":"75f991be2f601c1404ea3b87632b12bf9db4d853","ref":"refs/heads/casting-new","pushedAt":"2024-08-14T20:33:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Merge casting with main + decompilation","shortMessageHtmlLink":"Merge casting with main + decompilation"}},{"before":"a27e1529890fbe2c908bb019e563921679dbbb9a","after":null,"ref":"refs/heads/decompilation","pushedAt":"2024-08-13T13:22:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"d-xo","name":"dxo ","path":"/d-xo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6689924?s=80&v=4"}},{"before":"e560cf29d678d254ac28c6f0889c329f4b7c47d6","after":"0a63176660262f3b65657f8f4f6a7af8614cb4ba","ref":"refs/heads/main","pushedAt":"2024-08-13T13:22:47.000Z","pushType":"pr_merge","commitsCount":50,"pusher":{"login":"d-xo","name":"dxo ","path":"/d-xo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6689924?s=80&v=4"},"commit":{"message":"Merge pull request #173 from ethereum/decompilation\n\nDecompilation","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1992307308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/ethereum/act/issues/173\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/ethereum/act/pull/173/hovercard\" href=\"https://github.com/ethereum/act/pull/173\">#173</a> from ethereum/decompilation"}},{"before":"c2942b5806aacb2b3a91b584029bca0471cd6630","after":"a27e1529890fbe2c908bb019e563921679dbbb9a","ref":"refs/heads/decompilation","pushedAt":"2024-08-13T13:21:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Update src/Test/Decompile.hs","shortMessageHtmlLink":"Update src/Test/Decompile.hs"}},{"before":"d3b0b22fca9e0b9601e27fb5abfc9c552b8a1056","after":"c2942b5806aacb2b3a91b584029bca0471cd6630","ref":"refs/heads/decompilation","pushedAt":"2024-08-06T15:28:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"d-xo","name":"dxo ","path":"/d-xo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6689924?s=80&v=4"},"commit":{"message":"Update src/Act/Decompile.hs","shortMessageHtmlLink":"Update src/Act/Decompile.hs"}},{"before":"95f3a9030ccc4313cccb5c5b9c915f8302240fae","after":"d3b0b22fca9e0b9601e27fb5abfc9c552b8a1056","ref":"refs/heads/decompilation","pushedAt":"2024-08-06T13:47:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"d-xo","name":"dxo ","path":"/d-xo","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6689924?s=80&v=4"},"commit":{"message":"Update src/Act/Decompile.hs","shortMessageHtmlLink":"Update src/Act/Decompile.hs"}},{"before":"9b2b7a8c0472d30bb32e13c598d96f6faa0f06bf","after":"95f3a9030ccc4313cccb5c5b9c915f8302240fae","ref":"refs/heads/decompilation","pushedAt":"2024-07-30T19:21:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Update src/Act/Decompile.hs\n\nCo-authored-by: dxo  <6689924+d-xo@users.noreply.github.com>","shortMessageHtmlLink":"Update src/Act/Decompile.hs"}},{"before":"7b5ee98f4a42fb269a728dd428ff7869dd8e9cfc","after":"9b2b7a8c0472d30bb32e13c598d96f6faa0f06bf","ref":"refs/heads/decompilation","pushedAt":"2024-07-30T16:39:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"Update src/Act/HEVM.hs\n\nCo-authored-by: dxo  <6689924+d-xo@users.noreply.github.com>","shortMessageHtmlLink":"Update src/Act/HEVM.hs"}},{"before":"e9c43ae6b4071e98c05e3d9dd91b3033f211a155","after":"0ac36b486492b82d4193514611aab85a465ae6c1","ref":"refs/heads/casting","pushedAt":"2024-07-15T12:48:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"zoep","name":"Zoe Paraskevopoulou","path":"/zoep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1422814?s=80&v=4"},"commit":{"message":"WIP checking aliasing","shortMessageHtmlLink":"WIP checking aliasing"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNTozNDoxNC4wMDAwMDBazwAAAAS7Cp44","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOVQxNTozNDoxNC4wMDAwMDBazwAAAAS7Cp44","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNVQxMjo0ODoxNS4wMDAwMDBazwAAAAR_se36"}},"title":"Activity · ethereum/act"}