{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":134982264,"defaultBranch":"master","name":"sdf-hoa","ownerLogin":"5nizza","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-26T17:38:38.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/928552?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1718112815.0","currentOid":""},"activityList":{"items":[{"before":"485039619f3d4125375bad6718cd190a9f6a69e6","after":"7b536102c367ca714d34c8655d94e24d55e9bf18","ref":"refs/heads/var-grouping-optim","pushedAt":"2024-06-13T09:19:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"disabling variable reordering when doing strategy extraction","shortMessageHtmlLink":"disabling variable reordering when doing strategy extraction"}},{"before":null,"after":"485039619f3d4125375bad6718cd190a9f6a69e6","ref":"refs/heads/var-grouping-optim","pushedAt":"2024-06-11T13:33:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"var grouping optimization","shortMessageHtmlLink":"var grouping optimization"}},{"before":"47e56e5ce169efd60336aef4e708339465f94f02","after":"55194fe155aef7753e2ae016e91d0f7a1a6a99fc","ref":"refs/heads/master","pushedAt":"2024-06-02T22:53:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"updates for syntcomp24","shortMessageHtmlLink":"updates for syntcomp24"}},{"before":"415d6b670452396a80818f9a2d0c580398d20df2","after":"47e56e5ce169efd60336aef4e708339465f94f02","ref":"refs/heads/master","pushedAt":"2023-10-26T08:45:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"a5f02dec5d4a4799eeffa10e73d4f110e56e4c55","after":"415d6b670452396a80818f9a2d0c580398d20df2","ref":"refs/heads/master","pushedAt":"2023-10-24T09:26:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"bumped the version of spdlog to 1.12.0 and simplified the code","shortMessageHtmlLink":"bumped the version of spdlog to 1.12.0 and simplified the code"}},{"before":"6fba6de14989888cf08ffbbc9f7b7abd2bde4eb1","after":"a5f02dec5d4a4799eeffa10e73d4f110e56e4c55","ref":"refs/heads/master","pushedAt":"2023-10-23T12:25:04.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"notes about compiling for syntcomp","shortMessageHtmlLink":"notes about compiling for syntcomp"}},{"before":"a8c6441db15f783abd6d98573922ec3cea3492a8","after":"6fba6de14989888cf08ffbbc9f7b7abd2bde4eb1","ref":"refs/heads/master","pushedAt":"2023-10-20T11:09:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"removed outdated build script","shortMessageHtmlLink":"removed outdated build script"}},{"before":"42cc13456f72a2439f5145e1d5ce8ad484e3daf8","after":"a8c6441db15f783abd6d98573922ec3cea3492a8","ref":"refs/heads/master","pushedAt":"2023-10-20T11:04:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"7d12019ee7d5818ea5f415d1b24629cb6d2bb95a","after":"42cc13456f72a2439f5145e1d5ce8ad484e3daf8","ref":"refs/heads/master","pushedAt":"2023-10-20T11:02:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"5nizza","name":"Ayrat","path":"/5nizza","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/928552?s=80&v=4"},"commit":{"message":"useful udpates from the reg branch","shortMessageHtmlLink":"useful udpates from the reg branch"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZDVUJQA","startCursor":null,"endCursor":null}},"title":"Activity · 5nizza/sdf-hoa"}