{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":136746484,"defaultBranch":"master","name":"alive2","ownerLogin":"AliveToolkit","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-06-09T18:03:14.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/40125059?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725611575.0","currentOid":""},"activityList":{"items":[{"before":"ef632ef4fdb42d0a7993183d0a90dfe9a54cc164","after":"9f7f1f103f83b0dead7143051bbed7822876a5ef","ref":"refs/heads/master","pushedAt":"2024-09-17T14:31:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"Revert \"CI: try clang 19 and 20\"\n\nThis reverts commit ef632ef4fdb42d0a7993183d0a90dfe9a54cc164.","shortMessageHtmlLink":"Revert \"CI: try clang 19 and 20\""}},{"before":"5e88326d85d92adfda410a9891fb759edfb6952a","after":"ef632ef4fdb42d0a7993183d0a90dfe9a54cc164","ref":"refs/heads/master","pushedAt":"2024-09-17T14:16:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"CI: try clang 19 and 20","shortMessageHtmlLink":"CI: try clang 19 and 20"}},{"before":"582f881c20101a3bad26301a5302d5f9c14926ff","after":"5e88326d85d92adfda410a9891fb759edfb6952a","ref":"refs/heads/master","pushedAt":"2024-09-12T12:30:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"opt wrapper: skip verification of coro-annotation-elide","shortMessageHtmlLink":"opt wrapper: skip verification of coro-annotation-elide"}},{"before":"60f61d6c6d146fb6d4df6765233aecf6a2904e9e","after":null,"ref":"refs/heads/int2ptr","pushedAt":"2024-09-06T08:32:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"}},{"before":"68e0b9843527522cb29be3798ca516f2dd496121","after":"582f881c20101a3bad26301a5302d5f9c14926ff","ref":"refs/heads/master","pushedAt":"2024-09-06T08:32:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"Add initial support for physical pointers and int2ptr casts (#988)","shortMessageHtmlLink":"Add initial support for physical pointers and int2ptr casts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2045205121\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/988\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AliveToolkit/alive2/pull/988/hovercard\" href=\"https://github.com/AliveToolkit/alive2/pull/988\">#988</a>)"}},{"before":"7cc3831f18244ba05ed52b5e1ed19d5c19f5d0e3","after":"60f61d6c6d146fb6d4df6765233aecf6a2904e9e","ref":"refs/heads/int2ptr","pushedAt":"2024-09-05T11:05:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"optimize the toLogical() function which is only needed for local addrs","shortMessageHtmlLink":"optimize the toLogical() function which is only needed for local addrs"}},{"before":"8f3b127d4025ede8a26f96a9e4bd4ac5b80eb52d","after":"7cc3831f18244ba05ed52b5e1ed19d5c19f5d0e3","ref":"refs/heads/int2ptr","pushedAt":"2024-09-04T14:24:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"fix crash","shortMessageHtmlLink":"fix crash"}},{"before":"06d67f52f4fe4e065a26d8806b95bd4609a36d5d","after":"8f3b127d4025ede8a26f96a9e4bd4ac5b80eb52d","ref":"refs/heads/int2ptr","pushedAt":"2024-09-04T13:39:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"fix crash","shortMessageHtmlLink":"fix crash"}},{"before":"31b96227d145744335d54651494f343a06689855","after":"06d67f52f4fe4e065a26d8806b95bd4609a36d5d","ref":"refs/heads/int2ptr","pushedAt":"2024-09-04T11:33:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"int2ptr support","shortMessageHtmlLink":"int2ptr support"}},{"before":"f8ac3a2988d72e9bb111b3a6c2a82fbe70dcb134","after":"68e0b9843527522cb29be3798ca516f2dd496121","ref":"refs/heads/master","pushedAt":"2024-09-04T11:32:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"fix unit test failure with latest LLVM","shortMessageHtmlLink":"fix unit test failure with latest LLVM"}},{"before":"bfa3a3bf404f5c86971a2f5a83520fb83fc2b9bd","after":"31b96227d145744335d54651494f343a06689855","ref":"refs/heads/int2ptr","pushedAt":"2024-09-04T10:09:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"int2ptr support","shortMessageHtmlLink":"int2ptr support"}},{"before":"cdf00c68fb82d2ddcc65911ffbc1fcc78252db92","after":"f8ac3a2988d72e9bb111b3a6c2a82fbe70dcb134","ref":"refs/heads/master","pushedAt":"2024-09-03T21:26:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"Fix MSVC build with checked iterators (#1085)","shortMessageHtmlLink":"Fix MSVC build with checked iterators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2503483672\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/1085\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AliveToolkit/alive2/pull/1085/hovercard\" href=\"https://github.com/AliveToolkit/alive2/pull/1085\">#1085</a>)"}},{"before":"d18e6a842335a867ed2728d919b81df5654b531e","after":"bfa3a3bf404f5c86971a2f5a83520fb83fc2b9bd","ref":"refs/heads/int2ptr","pushedAt":"2024-09-02T18:48:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"int2ptr support","shortMessageHtmlLink":"int2ptr support"}},{"before":"84041960f183aec74d740ff881c95a4ce5234d3d","after":"cdf00c68fb82d2ddcc65911ffbc1fcc78252db92","ref":"refs/heads/master","pushedAt":"2024-09-02T18:48:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"llvm2alive: ignore llvm.fake.use()","shortMessageHtmlLink":"llvm2alive: ignore llvm.fake.use()"}},{"before":"ab00a631e9365882304440b291ce81b8a06fa487","after":"d18e6a842335a867ed2728d919b81df5654b531e","ref":"refs/heads/int2ptr","pushedAt":"2024-08-14T11:48:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"int2ptr support","shortMessageHtmlLink":"int2ptr support"}},{"before":"f5bfff5ed83bb7c85a841dc066eb5064bcbdb9e9","after":"ab00a631e9365882304440b291ce81b8a06fa487","ref":"refs/heads/int2ptr","pushedAt":"2024-08-14T11:16:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"77412ebc91dca88368803b2fd272f5c842db0d38","after":"f5bfff5ed83bb7c85a841dc066eb5064bcbdb9e9","ref":"refs/heads/int2ptr","pushedAt":"2024-08-14T09:47:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"optimizations","shortMessageHtmlLink":"optimizations"}},{"before":"dab16a7af868bf3c73490fe29fab5602b48da2b1","after":"77412ebc91dca88368803b2fd272f5c842db0d38","ref":"refs/heads/int2ptr","pushedAt":"2024-08-13T15:27:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"081d2963821d676fb7397cc39c533edeffadb410","after":"84041960f183aec74d740ff881c95a4ce5234d3d","ref":"refs/heads/master","pushedAt":"2024-08-13T15:27:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"fix perf regression introduced with last Pointer class refactoring","shortMessageHtmlLink":"fix perf regression introduced with last Pointer class refactoring"}},{"before":"e822ebdf580b759d14aea983756da76d47eb8e1e","after":"dab16a7af868bf3c73490fe29fab5602b48da2b1","ref":"refs/heads/int2ptr","pushedAt":"2024-08-12T18:44:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"bc27b24f2b40e8f889b30b9667f1f3c53ee37c97","after":"e822ebdf580b759d14aea983756da76d47eb8e1e","ref":"refs/heads/int2ptr","pushedAt":"2024-08-12T17:53:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"8d017932e5768aa64ff06345bc10723671080cbe","after":"bc27b24f2b40e8f889b30b9667f1f3c53ee37c97","ref":"refs/heads/int2ptr","pushedAt":"2024-08-12T10:56:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"1349393c1ba8143aded6473ea51163f4b0dfd1f0","after":"8d017932e5768aa64ff06345bc10723671080cbe","ref":"refs/heads/int2ptr","pushedAt":"2024-08-11T12:04:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"4cbbd97f6f5750ebfe63eb25254ab814cfbb8434","after":"081d2963821d676fb7397cc39c533edeffadb410","ref":"refs/heads/master","pushedAt":"2024-08-11T12:03:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"avoid duplicating memory axioms for src & tgt","shortMessageHtmlLink":"avoid duplicating memory axioms for src &amp; tgt"}},{"before":"3f1157e6b8c2a020bad05a074e99cfecbbe4e9de","after":"1349393c1ba8143aded6473ea51163f4b0dfd1f0","ref":"refs/heads/int2ptr","pushedAt":"2024-08-11T11:11:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"b97cedbc701fc6adb3c3420bf90e211df2ca9c11","after":"3f1157e6b8c2a020bad05a074e99cfecbbe4e9de","ref":"refs/heads/int2ptr","pushedAt":"2024-08-11T11:06:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"111aaa865a60fc8eeb652b54dcadb0f0095163a8","after":"b97cedbc701fc6adb3c3420bf90e211df2ca9c11","ref":"refs/heads/int2ptr","pushedAt":"2024-08-09T17:28:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"6034dd05cf938100cabf75c0ddeb26121c955917","after":"111aaa865a60fc8eeb652b54dcadb0f0095163a8","ref":"refs/heads/int2ptr","pushedAt":"2024-08-09T17:25:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"219bca42b7b91616f1b8c25a7fe00bec78a1c9b9","after":"6034dd05cf938100cabf75c0ddeb26121c955917","ref":"refs/heads/int2ptr","pushedAt":"2024-08-09T17:21:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}},{"before":"067fb5362aedafd7919e5dbcd22b5e817d3b92ac","after":"219bca42b7b91616f1b8c25a7fe00bec78a1c9b9","ref":"refs/heads/int2ptr","pushedAt":"2024-08-09T17:01:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nunoplopes","name":"Nuno Lopes","path":"/nunoplopes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2998477?s=80&v=4"},"commit":{"message":"edit","shortMessageHtmlLink":"edit"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEuKQ1YAA","startCursor":null,"endCursor":null}},"title":"Activity · AliveToolkit/alive2"}