{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":128073460,"defaultBranch":"master","name":"cclyzer-souffle","ownerLogin":"plast-lab","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-04-04T14:23:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3448969?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1697533550.0","currentOid":""},"activityList":{"items":[{"before":"01ce8365ddad4febf7f343cc10383b9d24438218","after":"3099eeba7befee7159a51f287e2aff60a91c4c99","ref":"refs/heads/llvm-17","pushedAt":"2024-01-29T13:20:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"78821585f3afb4b1e5620363d0ea95d5c0652252","after":"01ce8365ddad4febf7f343cc10383b9d24438218","ref":"refs/heads/llvm-17","pushedAt":"2024-01-29T13:12:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"inverse inference store/load instr","shortMessageHtmlLink":"inverse inference store/load instr"}},{"before":"6803ceccd26e682dcd4e5780c98289374816e835","after":"78821585f3afb4b1e5620363d0ea95d5c0652252","ref":"refs/heads/llvm-17","pushedAt":"2024-01-27T12:37:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"inference attached to type indications","shortMessageHtmlLink":"inference attached to type indications"}},{"before":"230fa73451e051703572b252b828a80fa88f51f3","after":"6803ceccd26e682dcd4e5780c98289374816e835","ref":"refs/heads/llvm-17","pushedAt":"2023-11-30T14:14:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"TypeFinder fact gen, global vars as pointers,  type compatibility with ptr","shortMessageHtmlLink":"TypeFinder fact gen, global vars as pointers, type compatibility with…"}},{"before":"f9b04d2e5403ea7c12cc59432aa316f1d80fde79","after":"0f5fb5fb14a501727875b644730b2a3988c76964","ref":"refs/heads/master","pushedAt":"2023-11-27T11:49:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"bugfix to global variable types and removed some unnecessary code","shortMessageHtmlLink":"bugfix to global variable types and removed some unnecessary code"}},{"before":"b76ce9a7eb8988052c60dcb1cf30afdb499a07e2","after":"230fa73451e051703572b252b828a80fa88f51f3","ref":"refs/heads/llvm-17","pushedAt":"2023-11-24T12:47:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"getelementptr base types re-added to logic","shortMessageHtmlLink":"getelementptr base types re-added to logic"}},{"before":"4dd64ebe5da73b917a022aa24b53c7522ebd795a","after":"b76ce9a7eb8988052c60dcb1cf30afdb499a07e2","ref":"refs/heads/llvm-17","pushedAt":"2023-11-24T12:34:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"fix GEP instruction base types and add type indications for infered pointer types","shortMessageHtmlLink":"fix GEP instruction base types and add type indications for infered p…"}},{"before":"c2805cc1e3f847c14798d871eb7f050b5adc418c","after":"4dd64ebe5da73b917a022aa24b53c7522ebd795a","ref":"refs/heads/llvm-17","pushedAt":"2023-11-20T15:00:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"add basic pointer type inference","shortMessageHtmlLink":"add basic pointer type inference"}},{"before":"af5df906064dcb7ef0e09c5983add3375d5e4d0a","after":"c2805cc1e3f847c14798d871eb7f050b5adc418c","ref":"refs/heads/llvm-17","pushedAt":"2023-10-20T10:37:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"fix integer constant,global variable type registering","shortMessageHtmlLink":"fix integer constant,global variable type registering"}},{"before":"8d01ff46581814e41ae8cee64511bcaf20ad13bd","after":"f9b04d2e5403ea7c12cc59432aa316f1d80fde79","ref":"refs/heads/master","pushedAt":"2023-10-17T09:27:55.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"update gitignore","shortMessageHtmlLink":"update gitignore"}},{"before":null,"after":"af5df906064dcb7ef0e09c5983add3375d5e4d0a","ref":"refs/heads/llvm-17","pushedAt":"2023-10-17T09:05:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"AnargyrosArg","name":"anarg","path":"/AnargyrosArg","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76741624?s=80&v=4"},"commit":{"message":"compilable version","shortMessageHtmlLink":"compilable version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD69jRTwA","startCursor":null,"endCursor":null}},"title":"Activity · plast-lab/cclyzer-souffle"}