{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":851126204,"defaultBranch":"master","name":"Dat3M","ownerLogin":"CapZTr","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-09-02T13:25:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107266531?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726666711.0","currentOid":""},"activityList":{"items":[{"before":"cc4307309303e1a4a4d1d58daed0d80b6477c56c","after":null,"ref":"refs/heads/spirv-dev","pushedAt":"2024-09-18T13:38:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"CapZTr","name":null,"path":"/CapZTr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107266531?s=80&v=4"}},{"before":"9a23ab07c017edd2d9b698c279913ee214b4df5a","after":"f289f5c079c7e093a85151f3e3a5b274238c2b0e","ref":"refs/heads/master","pushedAt":"2024-09-16T11:02:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CapZTr","name":null,"path":"/CapZTr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107266531?s=80&v=4"},"commit":{"message":"add support to show source location in witness graph for spirv (#738)\n\nSigned-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>","shortMessageHtmlLink":"add support to show source location in witness graph for spirv (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2524997272\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/738\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/738/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/738\">herna…</a>"}},{"before":"c0fecf0b45c4fde69111db84162b1351cfca33e0","after":"cc4307309303e1a4a4d1d58daed0d80b6477c56c","ref":"refs/heads/spirv-dev","pushedAt":"2024-09-16T08:17:31.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CapZTr","name":null,"path":"/CapZTr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107266531?s=80&v=4"},"commit":{"message":"add support to show source location in witness graph for spirv\n\nSigned-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>","shortMessageHtmlLink":"add support to show source location in witness graph for spirv"}},{"before":"9a23ab07c017edd2d9b698c279913ee214b4df5a","after":"c0fecf0b45c4fde69111db84162b1351cfca33e0","ref":"refs/heads/spirv-dev","pushedAt":"2024-09-13T13:48:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CapZTr","name":null,"path":"/CapZTr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107266531?s=80&v=4"},"commit":{"message":"add support to show source location in witness graph for spirv","shortMessageHtmlLink":"add support to show source location in witness graph for spirv"}},{"before":null,"after":"9a23ab07c017edd2d9b698c279913ee214b4df5a","ref":"refs/heads/spirv-dev","pushedAt":"2024-09-12T08:26:36.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"CapZTr","name":null,"path":"/CapZTr","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/107266531?s=80&v=4"},"commit":{"message":" Fix default configuration for litmus tests (#720)\n\nCo-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>","shortMessageHtmlLink":" Fix default configuration for litmus tests (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483913034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/hernanponcedeleon/Dat3M/issues/720\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/hernanponcedeleon/Dat3M/pull/720/hovercard\" href=\"https://github.com/hernanponcedeleon/Dat3M/pull/720\">hernanponcedeleon#720</a>)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEubyUKAA","startCursor":null,"endCursor":null}},"title":"Activity · CapZTr/Dat3M"}