{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":409285260,"defaultBranch":"main","name":"btor2mlir","ownerLogin":"agurfinkel","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-09-22T16:52:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6082023?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705518131.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"a0b4f9116a0be9bca71a0294e23d84bb04e982b2","ref":"refs/heads/comments","pushedAt":"2024-01-17T19:02:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"chore: comments and minor changes","shortMessageHtmlLink":"chore: comments and minor changes"}},{"before":"4a831aae7d18abf26bce2004e2b0cb8f3b667593","after":"6feb6ad651f1dfc86f740a0f0e155729e9560a94","ref":"refs/heads/main","pushedAt":"2024-01-17T15:29:35.000Z","pushType":"push","commitsCount":107,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"chore: clean up old references","shortMessageHtmlLink":"chore: clean up old references"}},{"before":null,"after":"dd035b596c6b49e786caaf62cac862707b7f01a4","ref":"refs/heads/btor_array","pushedAt":"2024-01-17T15:29:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"agurfinkel","name":"Arie Gurfinkel","path":"/agurfinkel","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6082023?s=80&v=4"},"commit":{"message":"example of persistent btor arrays","shortMessageHtmlLink":"example of persistent btor arrays"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD4lay3AA","startCursor":null,"endCursor":null}},"title":"Activity · agurfinkel/btor2mlir"}