{"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:1702910094.0","currentOid":""},"activityList":{"items":[{"before":"4c29382741cff99c0a6743ee5e8168102057fd35","after":"22bc6f2791796708cbcfc99935992145f4ae2800","ref":"refs/heads/master","pushedAt":"2024-05-23T18:42:12.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":"repeat the LLVM version in README (#1041)","shortMessageHtmlLink":"repeat the LLVM version in README (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313459582\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/1041\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AliveToolkit/alive2/pull/1041/hovercard\" href=\"https://github.com/AliveToolkit/alive2/pull/1041\">#1041</a>)"}},{"before":"e8587709e4f0a917875b842b82acd2c9fcb5a475","after":"4c29382741cff99c0a6743ee5e8168102057fd35","ref":"refs/heads/master","pushedAt":"2024-05-22T16:19: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":"CI: disable clang 19 as it's breaking the build for no good reason","shortMessageHtmlLink":"CI: disable clang 19 as it's breaking the build for no good reason"}},{"before":"17bd6324647ebb4f6111e9dd6dd172f048ce8583","after":"e8587709e4f0a917875b842b82acd2c9fcb5a475","ref":"refs/heads/master","pushedAt":"2024-05-22T16:14: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":"opt wrapper: skip the ctx-instr-lower pass (unsupported)","shortMessageHtmlLink":"opt wrapper: skip the ctx-instr-lower pass (unsupported)"}},{"before":"eb1344b940f6e14a521d54d14a541565e2b42a7e","after":"17bd6324647ebb4f6111e9dd6dd172f048ce8583","ref":"refs/heads/master","pushedAt":"2024-05-16T14:38:52.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":"try to fix g++14 build","shortMessageHtmlLink":"try to fix g++14 build"}},{"before":"1dde69b4a603ff2de4a9d6f8584b7171179095e7","after":"eb1344b940f6e14a521d54d14a541565e2b42a7e","ref":"refs/heads/master","pushedAt":"2024-05-16T13:51:34.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":"update CI to ubuntu 24","shortMessageHtmlLink":"update CI to ubuntu 24"}},{"before":"560244fe561767c9fed6f4076250252a596dc78e","after":"1dde69b4a603ff2de4a9d6f8584b7171179095e7","ref":"refs/heads/master","pushedAt":"2024-05-16T13:44:49.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":"try to fix g++14 build","shortMessageHtmlLink":"try to fix g++14 build"}},{"before":"ca9e343a0c2ae00834d6561a582d5e2e9d4044bd","after":"560244fe561767c9fed6f4076250252a596dc78e","ref":"refs/heads/master","pushedAt":"2024-05-16T13:40:49.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":"try to fix g++14 build","shortMessageHtmlLink":"try to fix g++14 build"}},{"before":"17ac2b199711acc7019947940cbf8ac29f471159","after":"ca9e343a0c2ae00834d6561a582d5e2e9d4044bd","ref":"refs/heads/master","pushedAt":"2024-05-16T13:34: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":"update to ubuntu 24 & gcc 14","shortMessageHtmlLink":"update to ubuntu 24 &amp; gcc 14"}},{"before":"1a42db1b094c8a2dbd13d999d09b3044712e269a","after":"17ac2b199711acc7019947940cbf8ac29f471159","ref":"refs/heads/master","pushedAt":"2024-05-16T13:29:58.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":"change target-specific to be a deterministic value\nLLVM cannot guess it","shortMessageHtmlLink":"change target-specific to be a deterministic value"}},{"before":"e73024c15c3b093c735efa26b3fa710f60ce9021","after":"1a42db1b094c8a2dbd13d999d09b3044712e269a","ref":"refs/heads/master","pushedAt":"2024-05-10T17:28: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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"14642356df556192f4482a853d6eaf993a3a9d3e","after":"e73024c15c3b093c735efa26b3fa710f60ce9021","ref":"refs/heads/master","pushedAt":"2024-05-09T09:56:47.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":"change the semantics of the returned attribute so it yields poison instead of UB","shortMessageHtmlLink":"change the semantics of the returned attribute so it yields poison in…"}},{"before":"a5c59476fd51f752caaa5b03c602b3db57713a56","after":"14642356df556192f4482a853d6eaf993a3a9d3e","ref":"refs/heads/master","pushedAt":"2024-05-08T08:40:33.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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"471b4e457e95d3fa7feb4387a35de381038cd9d4","after":"a5c59476fd51f752caaa5b03c602b3db57713a56","ref":"refs/heads/master","pushedAt":"2024-05-03T10:04: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":"fix mix of returned arg attribute and function attributes\ntest case by @regehr","shortMessageHtmlLink":"fix mix of returned arg attribute and function attributes"}},{"before":"19a99943c5b32ecc5be39e09befc6bd14b1bb876","after":"471b4e457e95d3fa7feb4387a35de381038cd9d4","ref":"refs/heads/master","pushedAt":"2024-04-29T13:44:21.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":"asm mode: allow constants to be deleted\nthey have to be somewhere in the executable if they are not internal\nbut they can be validated all at once out-of-band","shortMessageHtmlLink":"asm mode: allow constants to be deleted"}},{"before":"777490a01df23196b735da3469d6dcc3fa650650","after":"19a99943c5b32ecc5be39e09befc6bd14b1bb876","ref":"refs/heads/master","pushedAt":"2024-04-29T13:20:13.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":"remove a couple of string copies","shortMessageHtmlLink":"remove a couple of string copies"}},{"before":"a22ae35edd7f516b209fa0d5ecccbb5eac0ac276","after":"777490a01df23196b735da3469d6dcc3fa650650","ref":"refs/heads/master","pushedAt":"2024-04-29T13:14: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":"experiment with C++20 ranges","shortMessageHtmlLink":"experiment with C++20 ranges"}},{"before":"a8b2c4f1bc361bced95af0c5fa72d915209a0e8f","after":"a22ae35edd7f516b209fa0d5ecccbb5eac0ac276","ref":"refs/heads/master","pushedAt":"2024-04-29T10:35:37.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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"74bd584a3fb92c57bacab9b9798c3d86bd639ec0","after":"a8b2c4f1bc361bced95af0c5fa72d915209a0e8f","ref":"refs/heads/master","pushedAt":"2024-04-29T08:39:19.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":"memcpy doesn't round up access size either","shortMessageHtmlLink":"memcpy doesn't round up access size either"}},{"before":"a95b207f585ed8415e326c47f096d58358a092c0","after":"74bd584a3fb92c57bacab9b9798c3d86bd639ec0","ref":"refs/heads/master","pushedAt":"2024-04-29T08:35:38.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":"memset doesn't extend the deref check to a multiple of alignment\nAccording to LangRef, although this is incompatible with load/store semantics","shortMessageHtmlLink":"memset doesn't extend the deref check to a multiple of alignment"}},{"before":"4433ef34aa5b7a198e469ab4faceed4a989041b3","after":"a95b207f585ed8415e326c47f096d58358a092c0","ref":"refs/heads/master","pushedAt":"2024-04-29T08:09:58.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 initialization of global consts so that the padding bytes are poison\nThe size of globals is rounded up to be a multiple of the alignment","shortMessageHtmlLink":"fix initialization of global consts so that the padding bytes are poison"}},{"before":"31a8bf1e251bdc3d6e74a4fded7d95c6e274b5d8","after":"4433ef34aa5b7a198e469ab4faceed4a989041b3","ref":"refs/heads/master","pushedAt":"2024-04-29T07:36: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":"add initial list of sponsors. Thank you all!","shortMessageHtmlLink":"add initial list of sponsors. Thank you all!"}},{"before":"9f7fa09e5042a7972eeb9276596216d500b60af9","after":"018e7090376cf74d0df10963805fcd4809f1f06b","ref":"refs/heads/int2ptr","pushedAt":"2024-04-28T11:48:16.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":"deref check","shortMessageHtmlLink":"deref check"}},{"before":"61fe61bf5465a42031d33e95568a4855a8047719","after":"31a8bf1e251bdc3d6e74a4fded7d95c6e274b5d8","ref":"refs/heads/master","pushedAt":"2024-04-28T11:44:11.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 #1028: the align attribute on load, store, etc implies dereferenceability\nWe had a partial implementation for the ASM mode; this patch superseeds that one","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1028.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2258405837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/1028\" data-hovercard-type=\"issue\" data-hovercard-url=\"/AliveToolkit/alive2/issues/1028/hovercard\" href=\"https://github.com/AliveToolkit/alive2/issues/1028\">#1028</a>: the align attribute on load, store, etc implies dereferenc…"}},{"before":"94d8e317be77d04439e79c3ed736eadd77a2b28d","after":"61fe61bf5465a42031d33e95568a4855a8047719","ref":"refs/heads/master","pushedAt":"2024-04-25T11:39:47.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 #1029: byval fn args missing attributes","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1029.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261726058\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/1029\" data-hovercard-type=\"issue\" data-hovercard-url=\"/AliveToolkit/alive2/issues/1029/hovercard\" href=\"https://github.com/AliveToolkit/alive2/issues/1029\">#1029</a>: byval fn args missing attributes"}},{"before":"6c7cf56fbf3e783c4a3339ecce407aa2491ea181","after":"94d8e317be77d04439e79c3ed736eadd77a2b28d","ref":"refs/heads/master","pushedAt":"2024-04-25T08:27:29.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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"ee48444bf82c1637fee4b384c6ada06fa35b302b","after":"6c7cf56fbf3e783c4a3339ecce407aa2491ea181","ref":"refs/heads/master","pushedAt":"2024-04-23T12:56:34.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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"4ff1d850e74bc1f32a1067501b10265c2ede7eef","after":"ee48444bf82c1637fee4b384c6ada06fa35b302b","ref":"refs/heads/master","pushedAt":"2024-04-21T21:06:17.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":"add LLVM bug","shortMessageHtmlLink":"add LLVM bug"}},{"before":"912489be9db7621eee9a0755664af5d17f045a9c","after":"4ff1d850e74bc1f32a1067501b10265c2ede7eef","ref":"refs/heads/master","pushedAt":"2024-04-19T18:19:54.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":"add new llvm bugs","shortMessageHtmlLink":"add new llvm bugs"}},{"before":"4bf3031d21ba25fe8e22b0e05bb9f269f4d8159b","after":"912489be9db7621eee9a0755664af5d17f045a9c","ref":"refs/heads/master","pushedAt":"2024-04-17T09:38:49.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 support for uitofp nneg (#1027)","shortMessageHtmlLink":"Add support for uitofp nneg (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2247804264\" data-permission-text=\"Title is private\" data-url=\"https://github.com/AliveToolkit/alive2/issues/1027\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/AliveToolkit/alive2/pull/1027/hovercard\" href=\"https://github.com/AliveToolkit/alive2/pull/1027\">#1027</a>)"}},{"before":"d85a46a8ceefb4463b632dd51fc0035b2b3ee409","after":"4bf3031d21ba25fe8e22b0e05bb9f269f4d8159b","ref":"refs/heads/master","pushedAt":"2024-04-10T20:58: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":"handle range attr in fn call return value","shortMessageHtmlLink":"handle range attr in fn call return value"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUljNLwA","startCursor":null,"endCursor":null}},"title":"Activity · AliveToolkit/alive2"}