{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":768704082,"defaultBranch":"master","name":"Dat3M_Spectre","ownerLogin":"ThomasHaas","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-03-07T15:24:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5806547?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1709825529.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"b9653ff69ed9baf9073532c21a4ea2d749c59117","ref":"refs/heads/development","pushedAt":"2024-03-07T15:32:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ThomasHaas","name":"Thomas Haas","path":"/ThomasHaas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5806547?s=80&v=4"},"commit":{"message":"Remove term-based relation merging in CAT parser & fix duplicated free relations (#632)\n\n* - Removed merging of equivalent relations in cat parser\r\n\r\n* - Removed dead code\r\n\r\n* Added pass to distinguish different free relations.\r\nThis fixes an issue where different free relations accidentally shared the same variables in the encoding.","shortMessageHtmlLink":"Remove term-based relation merging in CAT parser & fix duplicated fre…"}},{"before":null,"after":"ce680f458aff804a1193a1885b7645203df6300a","ref":"refs/heads/spectre","pushedAt":"2024-03-07T15:31:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ThomasHaas","name":"Thomas Haas","path":"/ThomasHaas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5806547?s=80&v=4"},"commit":{"message":"Fixed dependency computation in sc_spectre.cat (need to consider generalized dependencies here).","shortMessageHtmlLink":"Fixed dependency computation in sc_spectre.cat (need to consider gene…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEDzvmfwA","startCursor":null,"endCursor":null}},"title":"Activity · ThomasHaas/Dat3M_Spectre"}