{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":577492459,"defaultBranch":"main","name":"halmos","ownerLogin":"a16z","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-12-12T21:28:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/745163?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1727229405.0","currentOid":""},"activityList":{"items":[{"before":"a2ea5f859cff86c2a07a029f5cb39f4c3038187a","after":null,"ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-24T23:44:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"d9eaad91a75afe94cb0eeafb500cfd2662b39bd5","after":"20cd93a06681fbaffb36e3011f708eecce61717f","ref":"refs/heads/main","pushedAt":"2024-09-24T23:44:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"fix: manually solve dynamic array overflow conditions (#366)","shortMessageHtmlLink":"fix: manually solve dynamic array overflow conditions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2535350827\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/366\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/366/hovercard\" href=\"https://github.com/a16z/halmos/pull/366\">#366</a>)"}},{"before":"edd2dea7d29732002f26bdccbdd12ffa35e6b489","after":"a2ea5f859cff86c2a07a029f5cb39f4c3038187a","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-24T23:26:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit","shortMessageHtmlLink":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit"}},{"before":"fb19f278134569c3347e94f387530db7acfd0590","after":null,"ref":"refs/heads/chore/add-missing-tests","pushedAt":"2024-09-24T23:26:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"3e66a607917183c7477c0ae2cf78bb762a62a22d","after":"d9eaad91a75afe94cb0eeafb500cfd2662b39bd5","ref":"refs/heads/main","pushedAt":"2024-09-24T23:26:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"chore: update halmos.toml example + add missing tests (#371)","shortMessageHtmlLink":"chore: update halmos.toml example + add missing tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2544180151\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/371\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/371/hovercard\" href=\"https://github.com/a16z/halmos/pull/371\">#371</a>)"}},{"before":"610c8dc1cbfe1652f86ecb1f2e2545825a3ffa75","after":"edd2dea7d29732002f26bdccbdd12ffa35e6b489","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-24T23:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"avoid magic string for sha3 names","shortMessageHtmlLink":"avoid magic string for sha3 names"}},{"before":"3b6723ca87884981fb4d782007b248403b188950","after":"fb19f278134569c3347e94f387530db7acfd0590","ref":"refs/heads/chore/add-missing-tests","pushedAt":"2024-09-24T22:57:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"update halmos-cheatcode submodule","shortMessageHtmlLink":"update halmos-cheatcode submodule"}},{"before":null,"after":"3b6723ca87884981fb4d782007b248403b188950","ref":"refs/heads/chore/add-missing-tests","pushedAt":"2024-09-24T03:18:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"test: add tests for #364","shortMessageHtmlLink":"test: add tests for <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532248140\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/364\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/364/hovercard\" href=\"https://github.com/a16z/halmos/pull/364\">#364</a>"}},{"before":"4e04da5f23849d3c53e7f6ffc814aff8a0aa16c9","after":"610c8dc1cbfe1652f86ecb1f2e2545825a3ffa75","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-24T03:14:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"test: add regression test","shortMessageHtmlLink":"test: add regression test"}},{"before":"9397fd880e93dccc2db21af4bbd10cdbee213fea","after":"4e04da5f23849d3c53e7f6ffc814aff8a0aa16c9","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-23T22:57:42.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit","shortMessageHtmlLink":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit"}},{"before":"16126326aaa809b7c1d6b4e8dc8962b40667345c","after":null,"ref":"refs/heads/perf/increase-default-assertion-solving-timeout","pushedAt":"2024-09-23T22:57:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"6a29824ad98abdff72cce26934769868b3ad53fc","after":"3e66a607917183c7477c0ae2cf78bb762a62a22d","ref":"refs/heads/main","pushedAt":"2024-09-23T22:57:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"perf: increase default assertion solving timeout from 1s to 1m (#368)","shortMessageHtmlLink":"perf: increase default assertion solving timeout from 1s to 1m (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2540010308\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/368\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/368/hovercard\" href=\"https://github.com/a16z/halmos/pull/368\">#368</a>)"}},{"before":"a9f3d113986038713c3a61a59ff848bc86e21ada","after":"16126326aaa809b7c1d6b4e8dc8962b40667345c","ref":"refs/heads/perf/increase-default-assertion-solving-timeout","pushedAt":"2024-09-23T22:56:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"Merge branch 'main' into perf/increase-default-assertion-solving-timeout","shortMessageHtmlLink":"Merge branch 'main' into perf/increase-default-assertion-solving-timeout"}},{"before":"98f3486e76a5002c384a9267b50237ae2014cfa3","after":null,"ref":"refs/heads/ci/snekmate-split","pushedAt":"2024-09-23T22:56:35.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"fb2160cfb171022bf803dce3c478892f3c0dd568","after":"6a29824ad98abdff72cce26934769868b3ad53fc","ref":"refs/heads/main","pushedAt":"2024-09-23T22:56:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"ci: parallelize snekmate tests (#370)","shortMessageHtmlLink":"ci: parallelize snekmate tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2543500946\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/370\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/370/hovercard\" href=\"https://github.com/a16z/halmos/pull/370\">#370</a>)"}},{"before":"0cc631ae362e7a8e2e029a91a3a5c5761e18d777","after":"9397fd880e93dccc2db21af4bbd10cdbee213fea","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-23T22:48:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"refactor and add test","shortMessageHtmlLink":"refactor and add test"}},{"before":"b82b7e66c717d5c65763e5edd8f6c95cbe5599d2","after":"a9f3d113986038713c3a61a59ff848bc86e21ada","ref":"refs/heads/perf/increase-default-assertion-solving-timeout","pushedAt":"2024-09-21T08:32:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"increase default assertion solving timeout from 1s to 1m","shortMessageHtmlLink":"increase default assertion solving timeout from 1s to 1m"}},{"before":"9a2a455ba0a84073032d101f370ee4d2e0197a07","after":"0cc631ae362e7a8e2e029a91a3a5c5761e18d777","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-21T08:32:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"debug loop bound info","shortMessageHtmlLink":"debug loop bound info"}},{"before":null,"after":"98f3486e76a5002c384a9267b50237ae2014cfa3","ref":"refs/heads/ci/snekmate-split","pushedAt":"2024-09-21T08:29:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"ci: parallelize snekmate tests","shortMessageHtmlLink":"ci: parallelize snekmate tests"}},{"before":"590c6db84496862b5216e92073cc95a2741a47d4","after":"9a2a455ba0a84073032d101f370ee4d2e0197a07","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-21T06:29:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit","shortMessageHtmlLink":"Merge branch 'main' into fix/dynamic-array-exceed-storage-limit"}},{"before":"f3197e920639cad7b1e46964fb042e11d6f12cc0","after":"b82b7e66c717d5c65763e5edd8f6c95cbe5599d2","ref":"refs/heads/perf/increase-default-assertion-solving-timeout","pushedAt":"2024-09-21T06:28:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"Merge branch 'main' into perf/increase-default-assertion-solving-timeout","shortMessageHtmlLink":"Merge branch 'main' into perf/increase-default-assertion-solving-timeout"}},{"before":null,"after":"f3197e920639cad7b1e46964fb042e11d6f12cc0","ref":"refs/heads/perf/increase-default-assertion-solving-timeout","pushedAt":"2024-09-21T06:21:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"increase default assertion solving timeout from 1s to 1m","shortMessageHtmlLink":"increase default assertion solving timeout from 1s to 1m"}},{"before":"b60f64aa573e140ac6eb72902dc9086799960e41","after":"590c6db84496862b5216e92073cc95a2741a47d4","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-21T06:19:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"debug loop bound info","shortMessageHtmlLink":"debug loop bound info"}},{"before":"3c9bf5388e9ef75f85c6f4ef6f234214a2b64595","after":null,"ref":"refs/heads/chore/readme-update","pushedAt":"2024-09-20T20:57:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"karmacoma-eth","name":"karmacoma","path":"/karmacoma-eth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/85039585?s=80&v=4"}},{"before":"e4a4ef7a89f2c0ef5a286019730c6df6ef45c199","after":"fb2160cfb171022bf803dce3c478892f3c0dd568","ref":"refs/heads/main","pushedAt":"2024-09-20T20:57:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"karmacoma-eth","name":"karmacoma","path":"/karmacoma-eth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/85039585?s=80&v=4"},"commit":{"message":"Update README.md (#367)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2539297958\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/367\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/367/hovercard\" href=\"https://github.com/a16z/halmos/pull/367\">#367</a>)"}},{"before":null,"after":"3c9bf5388e9ef75f85c6f4ef6f234214a2b64595","ref":"refs/heads/chore/readme-update","pushedAt":"2024-09-20T17:27:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"karmacoma-eth","name":"karmacoma","path":"/karmacoma-eth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/85039585?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":null,"after":"b60f64aa573e140ac6eb72902dc9086799960e41","ref":"refs/heads/fix/dynamic-array-exceed-storage-limit","pushedAt":"2024-09-19T05:43:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"fix: manually solve dynamic array overflow conditions","shortMessageHtmlLink":"fix: manually solve dynamic array overflow conditions"}},{"before":"38821775682f7a863dee7509e9f127821741f8ef","after":null,"ref":"refs/heads/fix/concretize-calldatacopy","pushedAt":"2024-09-18T23:40:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"}},{"before":"115e66db9c8a8ed2601d17383a6d8f384e3884dc","after":"e4a4ef7a89f2c0ef5a286019730c6df6ef45c199","ref":"refs/heads/main","pushedAt":"2024-09-18T23:40:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"fix: concretize calldatacopy (#364)\n\nCo-authored-by: karmacoma <karma@coma.lol>","shortMessageHtmlLink":"fix: concretize calldatacopy (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532248140\" data-permission-text=\"Title is private\" data-url=\"https://github.com/a16z/halmos/issues/364\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/a16z/halmos/pull/364/hovercard\" href=\"https://github.com/a16z/halmos/pull/364\">#364</a>)"}},{"before":"8214f68cdbb0a1a0182589190dfc441028c37469","after":"38821775682f7a863dee7509e9f127821741f8ef","ref":"refs/heads/fix/concretize-calldatacopy","pushedAt":"2024-09-18T23:20:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"daejunpark","name":"Daejun Park","path":"/daejunpark","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5491770?s=80&v=4"},"commit":{"message":"lint","shortMessageHtmlLink":"lint"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yNFQyMzo0NDozMS4wMDAwMDBazwAAAAS_t_7I","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQyMzoyMDoxMi4wMDAwMDBazwAAAAS6PsbA"}},"title":"Activity · a16z/halmos"}