{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":197030289,"defaultBranch":"main","name":"llvm-project","ownerLogin":"gamesh411","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2019-07-15T15:58:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3802256?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726507328.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"5979470518cea9418ea6ee21fa31f4b60377fd26","ref":"refs/heads/thread-modeling-squash","pushedAt":"2024-09-16T17:22:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"introduce mutex modeling checker\n\nmove mutex modeling to non-alpha\n\nadd checker to bookkeeping lists\n\ncopy the modeling part of BlockInCriticalSection checker to mutex modeling\n\nmove the GDM trait out of anonymous namespace to solve state sharing between checkers\n\nadd programstate header for the base template definition of ProgramStateTrait\n\nstrip modeling logic out of BlockInCriticalSectionChecker\n\nadd minimal interchecker api for modeling BlockInCriticalSection usecases and add checker registration capability\n\nregister BlockInCriticalSectionCheckers bugtype for mutex related notes\n\nmove mutex modeling headers into a subdirectory\n\nreorganize headers, add basic modeling types\n\n[WIP] implement unified modeling\n\n[WIP] stab 2 at unified modeling, just init events\n\ncreate multiple headers\n\n[wip] add acquire to modeling\n\n[wip] add trylock stub\n\n[wip] add release stub\n\n[wip] add all event kind checks\n\n[wip] testing with current tests\n\nadd pthread and c11 destroy\n\nadd all previously modelled events\n\nmake all tests pass in pthread.c\n\nmove modeling to mutexmodeling, remove default cases where warnings were given\n\nfix default args for MakeMemberExtractor\n\nallow events without library\n\nupdate pthreadlockchecker to support events without a library\n\nadd events for blockincritical\n\nremove wasinlined limitation\n\nfix block_in_critical_section testcase\n\nupdate pthreadlock_state printing tests to contain the list of events\n\nfalse positive is fixed\n\nalways add mark for critical section, not just on first lock\n\nadd modeling for unique_lock\n\nfix brace error\n\nsilence warning about not handling all event kinds","shortMessageHtmlLink":"introduce mutex modeling checker"}},{"before":"430fd1f1c3656d0cc8101e986b7feb901ad6a53c","after":"624a823f904910a9f1084949962b7e6f9dcca86f","ref":"refs/heads/thread-modeling-upstreaming","pushedAt":"2024-09-13T22:59:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"silence warning about not handling all event kinds","shortMessageHtmlLink":"silence warning about not handling all event kinds"}},{"before":null,"after":"430fd1f1c3656d0cc8101e986b7feb901ad6a53c","ref":"refs/heads/thread-modeling-upstreaming","pushedAt":"2024-09-13T22:25:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"silence warning about not handling all event kinds","shortMessageHtmlLink":"silence warning about not handling all event kinds"}},{"before":"74529574b7a4bcdcdc2b122b81ebcc11c6c644b3","after":"e55f5b4fd967446dfc905ca816c9a355d101c17f","ref":"refs/heads/thread-modeling","pushedAt":"2024-09-13T22:21:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"silence warning about not handling all event kinds","shortMessageHtmlLink":"silence warning about not handling all event kinds"}},{"before":"105eb11a2243cef702c2235508d184432e113148","after":"74529574b7a4bcdcdc2b122b81ebcc11c6c644b3","ref":"refs/heads/thread-modeling","pushedAt":"2024-09-13T21:18:00.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"add modeling for unique_lock","shortMessageHtmlLink":"add modeling for unique_lock"}},{"before":"0004378d7d1838652637a5e587807b7382dfe26a","after":"105eb11a2243cef702c2235508d184432e113148","ref":"refs/heads/thread-modeling","pushedAt":"2024-09-11T21:23:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"fixup! [wip] add trylock stub","shortMessageHtmlLink":"fixup! [wip] add trylock stub"}},{"before":"604f7492d90d5118057e131dc19547fac194ae02","after":"3bc94cbeacdc8f2678d14952ba6d72524927d2d0","ref":"refs/heads/exceptions-rebased-2024-07-02","pushedAt":"2024-09-02T20:02:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"refine implementation for experimentation","shortMessageHtmlLink":"refine implementation for experimentation"}},{"before":"abd7b818b11bfc9cf6ebe18097f3b8f00f95c7be","after":"0004378d7d1838652637a5e587807b7382dfe26a","ref":"refs/heads/thread-modeling","pushedAt":"2024-08-02T18:45:14.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"fix block_in_critical_section testcase","shortMessageHtmlLink":"fix block_in_critical_section testcase"}},{"before":"002508d0145cd3bf4d29154343e1f664e2ea2116","after":"abd7b818b11bfc9cf6ebe18097f3b8f00f95c7be","ref":"refs/heads/thread-modeling","pushedAt":"2024-08-02T15:08:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"move modeling to mutexmodeling, remove default cases where warnings were given","shortMessageHtmlLink":"move modeling to mutexmodeling, remove default cases where warnings w…"}},{"before":"27ed4785022d53972c844b855f60a1ddbbe791d2","after":"002508d0145cd3bf4d29154343e1f664e2ea2116","ref":"refs/heads/thread-modeling","pushedAt":"2024-08-02T13:37:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"make all tests pass in pthread.c","shortMessageHtmlLink":"make all tests pass in pthread.c"}},{"before":"715223c3120db9996e948740f673103a4daedd7a","after":"27ed4785022d53972c844b855f60a1ddbbe791d2","ref":"refs/heads/thread-modeling","pushedAt":"2024-08-01T16:01:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"add all previously modelled events","shortMessageHtmlLink":"add all previously modelled events"}},{"before":"c2b4d365400d72658f9c88853587c3cd94440aa4","after":"2ca481b87237a31972b14f462200e230cdb9829e","ref":"refs/heads/main","pushedAt":"2024-08-01T11:54:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[workflow] Add AI review for PRs","shortMessageHtmlLink":"[workflow] Add AI review for PRs"}},{"before":"d4c1d3ae4275b37bf8cb412a30dd0a527a3b3f14","after":"715223c3120db9996e948740f673103a4daedd7a","ref":"refs/heads/thread-modeling","pushedAt":"2024-08-01T11:50:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"add pthread and c11 destroy","shortMessageHtmlLink":"add pthread and c11 destroy"}},{"before":"4bf8c1b7d640076d546e5c8c3bb5eb061c62d220","after":"604f7492d90d5118057e131dc19547fac194ae02","ref":"refs/heads/exceptions-rebased-2024-07-02","pushedAt":"2024-07-31T06:57:26.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] restructure code","shortMessageHtmlLink":"[wip] restructure code"}},{"before":"e1df040bcb6daeddd8f2f9801e687902c5fe8d7b","after":"d4c1d3ae4275b37bf8cb412a30dd0a527a3b3f14","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-30T15:12:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] testing with current tests","shortMessageHtmlLink":"[wip] testing with current tests"}},{"before":"9fb8f6abb4cf7a5b47ec61d1e2254121f53ccbbe","after":"e1df040bcb6daeddd8f2f9801e687902c5fe8d7b","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-29T18:56:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] add all event kind checks","shortMessageHtmlLink":"[wip] add all event kind checks"}},{"before":"0ec7be69d2e81453cfa5633039c69bbeceb19f2e","after":"9fb8f6abb4cf7a5b47ec61d1e2254121f53ccbbe","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-26T12:51:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] add release stub","shortMessageHtmlLink":"[wip] add release stub"}},{"before":"df5b7ac4e1cea16543a9013165b20cd786de1117","after":"0ec7be69d2e81453cfa5633039c69bbeceb19f2e","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-26T10:06:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] add trylock stub","shortMessageHtmlLink":"[wip] add trylock stub"}},{"before":"64dd5fc2e40ce370b28d394b5f9812dc39ec1d2d","after":"df5b7ac4e1cea16543a9013165b20cd786de1117","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-26T07:50:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[wip] add acquire to modeling","shortMessageHtmlLink":"[wip] add acquire to modeling"}},{"before":"24f9fb08f7107ca9d46eca30320b23f29ca4c329","after":"64dd5fc2e40ce370b28d394b5f9812dc39ec1d2d","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-25T20:12:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"create multiple headers","shortMessageHtmlLink":"create multiple headers"}},{"before":null,"after":"5135a06cae11a2a5f0ab21c6ab24219163b9f8d0","ref":"refs/heads/exceptions-callgraph-wip","pushedAt":"2024-07-24T14:23:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"callgraph generation","shortMessageHtmlLink":"callgraph generation"}},{"before":null,"after":"363efbe821b08a9419bb424db0963b47edb2029d","ref":"refs/heads/exceptions-dataflow-wip","pushedAt":"2024-07-24T14:23:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"forward dataflow initial","shortMessageHtmlLink":"forward dataflow initial"}},{"before":"363efbe821b08a9419bb424db0963b47edb2029d","after":null,"ref":"refs/heads/exceptions-dataflow","pushedAt":"2024-07-17T18:00:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"}},{"before":"5135a06cae11a2a5f0ab21c6ab24219163b9f8d0","after":null,"ref":"refs/heads/exceptions-callgraph","pushedAt":"2024-07-17T18:00:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"}},{"before":null,"after":"5135a06cae11a2a5f0ab21c6ab24219163b9f8d0","ref":"refs/heads/exceptions-callgraph","pushedAt":"2024-07-17T17:57:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"callgraph generation","shortMessageHtmlLink":"callgraph generation"}},{"before":null,"after":"363efbe821b08a9419bb424db0963b47edb2029d","ref":"refs/heads/exceptions-dataflow","pushedAt":"2024-07-17T17:57:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"forward dataflow initial","shortMessageHtmlLink":"forward dataflow initial"}},{"before":"0cc8df8da8c59632eb35bc2849d72ccb12c0bf4f","after":"24f9fb08f7107ca9d46eca30320b23f29ca4c329","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-12T20:17:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"[WIP] stab 2 at unified modeling, just init events","shortMessageHtmlLink":"[WIP] stab 2 at unified modeling, just init events"}},{"before":"d8b86a545d6d2c09456f5d91af62c2d48cfca3dc","after":"0cc8df8da8c59632eb35bc2849d72ccb12c0bf4f","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-12T20:16:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"}},{"before":null,"after":"4bf8c1b7d640076d546e5c8c3bb5eb061c62d220","ref":"refs/heads/exceptions-rebased-2024-07-02","pushedAt":"2024-07-11T21:30:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"},"commit":{"message":"add basic noexcept suggestion","shortMessageHtmlLink":"add basic noexcept suggestion"}},{"before":"9ddc7275fb1858204a54e6221810859dc72b54f6","after":"d8b86a545d6d2c09456f5d91af62c2d48cfca3dc","ref":"refs/heads/thread-modeling","pushedAt":"2024-07-10T09:51:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"gamesh411","name":"Endre Fülöp","path":"/gamesh411","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3802256?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNzoyMjowOC4wMDAwMDBazwAAAAS3szqP","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNzoyMjowOC4wMDAwMDBazwAAAAS3szqP","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xMFQwOTo1MTo1Mi4wMDAwMDBazwAAAAR7k_oA"}},"title":"Activity · gamesh411/llvm-project"}