{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":267065078,"defaultBranch":"master","name":"hw-cbmc","ownerLogin":"mgudemann","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-05-26T14:26:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2590540?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701620680.0","currentOid":""},"activityList":{"items":[{"before":"6c4e2b79597014716f647df4864ea95e0f6324ce","after":"611773d8749c195d5f4e3f47408e050d0ecc66f7","ref":"refs/heads/feature/remove_dependency_zlib","pushedAt":"2023-12-04T16:04:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Remove zlib-devel from github actions","shortMessageHtmlLink":"Remove zlib-devel from github actions"}},{"before":"28bd87089d080cd46937f0b8cda1ddb029a40d91","after":"6c4e2b79597014716f647df4864ea95e0f6324ce","ref":"refs/heads/feature/remove_dependency_zlib","pushedAt":"2023-12-04T14:13:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Remove zlib dependency from README","shortMessageHtmlLink":"Remove zlib dependency from README"}},{"before":"75228e6118f149f73f06071a2ce0db2a270336d5","after":"28bd87089d080cd46937f0b8cda1ddb029a40d91","ref":"refs/heads/feature/remove_dependency_zlib","pushedAt":"2023-12-04T14:00:40.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Remove zlib dependency from README","shortMessageHtmlLink":"Remove zlib dependency from README"}},{"before":"c71beb541d0a398e0b7e61811362ddbed2f684af","after":"4525e882bac3447648e0069fcae73fe8c0be45f8","ref":"refs/heads/feature/topsort_SMV_defines","pushedAt":"2023-12-03T18:17:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Apply `clang-format` patch","shortMessageHtmlLink":"Apply <code>clang-format</code> patch"}},{"before":null,"after":"c71beb541d0a398e0b7e61811362ddbed2f684af","ref":"refs/heads/feature/topsort_SMV_defines","pushedAt":"2023-12-03T16:24:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Increase YYMAXDEPTH","shortMessageHtmlLink":"Increase YYMAXDEPTH"}},{"before":null,"after":"75228e6118f149f73f06071a2ce0db2a270336d5","ref":"refs/heads/feature/remove_dependency_zlib","pushedAt":"2023-12-02T21:02:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Remove zlib dependency from README","shortMessageHtmlLink":"Remove zlib dependency from README"}},{"before":"833458ba1d627411ffa82f2bbb3554590c21e5ff","after":"bff94ccb590b568924b39bb382a0fe81e84e40bd","ref":"refs/heads/fix/freeze_property_literal","pushedAt":"2023-09-22T10:15:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Add regression test with two times the same property\n\nThis test case contains two times the property `AG !a1306`. Without property\nliteral freezing, this leads to an assertion violation because the corresponding\nliteral is eliminated by MiniSAT.","shortMessageHtmlLink":"Add regression test with two times the same property"}},{"before":"465e5d7afda077051902c01edc1a535612051419","after":"833458ba1d627411ffa82f2bbb3554590c21e5ff","ref":"refs/heads/fix/freeze_property_literal","pushedAt":"2023-09-22T10:13:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mgudemann","name":"Matthias Güdemann","path":"/mgudemann","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2590540?s=80&v=4"},"commit":{"message":"Add regression test with two times the same property\n\nThis test case contains two times the property `AG !a1306`. Without property\nliteral freezing, this leads to an assertion violation because the corresponding\nliteral is eliminated by MiniSAT.","shortMessageHtmlLink":"Add regression test with two times the same property"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADwK9WYwA","startCursor":null,"endCursor":null}},"title":"Activity · mgudemann/hw-cbmc"}