{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":147798610,"defaultBranch":"master","name":"aws-c-common","ownerLogin":"tautschnig","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2018-09-07T09:00:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1144736?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724481143.0","currentOid":""},"activityList":{"items":[{"before":"8bdf08bf345e7e4d2929fe218d206fb85c0aa823","after":null,"ref":"refs/heads/update-Makefile.common","pushedAt":"2024-08-24T06:32:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":null,"after":"8bdf08bf345e7e4d2929fe218d206fb85c0aa823","ref":"refs/heads/update-Makefile.common","pushedAt":"2024-08-23T12:14:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Makefile.common updates for CBMC\n\nThis picks up various build rule updates and cleanup that can be done\nwith CBMC v6+ as published in CBMC starter kit.","shortMessageHtmlLink":"Makefile.common updates for CBMC"}},{"before":"b04221cb13a4e7336b719693dc9934c712b46f19","after":null,"ref":"refs/heads/cbmc-5.95.1","pushedAt":"2024-07-24T10:21:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":"88580688c6a8281f774a0c371ab1cd7498f74c2e","after":"b04221cb13a4e7336b719693dc9934c712b46f19","ref":"refs/heads/cbmc-5.95.1","pushedAt":"2024-06-19T17:27:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"graebm","name":"Michael Graeb","path":"/graebm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24399397?s=80&v=4"},"commit":{"message":"Merge branch 'main' into cbmc-5.95.1","shortMessageHtmlLink":"Merge branch 'main' into cbmc-5.95.1"}},{"before":null,"after":"88580688c6a8281f774a0c371ab1cd7498f74c2e","ref":"refs/heads/cbmc-5.95.1","pushedAt":"2024-06-07T09:36:53.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Use CBMC version 5.95.1\n\nThe upcoming CBMC version 6 release includes changes that may affect\nexisting proofs. This PR will make sure that aws-c-common PRs are not\nnegatively impacted by this release. After releasing CBMC version 6 we\nwill issue a follow-up PR that will return aws-c-common to using CBMC's\nlatest release, and will include any changes to proofs that may be\nnecessary to support the new version.","shortMessageHtmlLink":"Use CBMC version 5.95.1"}},{"before":"22987d901a715313ed3086949ddd7f1194349f61","after":null,"ref":"refs/heads/fix-zero-param-decls","pushedAt":"2024-04-24T09:11:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"}},{"before":null,"after":"22987d901a715313ed3086949ddd7f1194349f61","ref":"refs/heads/fix-zero-param-decls","pushedAt":"2024-04-23T11:56:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"chore: make CBMC stubs with zero parameters proper declarations\n\nC uses '(void)' to denote this, not an empty list of parameters.","shortMessageHtmlLink":"chore: make CBMC stubs with zero parameters proper declarations"}},{"before":"40296d98ec35e591659239329233608ed34bde40","after":"86e9e27a23148e9468c15cae9cd23a7cbc74b542","ref":"refs/heads/master","pushedAt":"2024-04-19T08:46:54.000Z","pushType":"push","commitsCount":380,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Clarity updates for uint64_t hash helper (#1104)\n\nCo-authored-by: Bret Ambrose <bambrose@amazon.com>","shortMessageHtmlLink":"Clarity updates for uint64_t hash helper (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2246546562\" data-permission-text=\"Title is private\" data-url=\"https://github.com/awslabs/aws-c-common/issues/1104\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/awslabs/aws-c-common/pull/1104/hovercard\" href=\"https://github.com/awslabs/aws-c-common/pull/1104\">awslabs#1104</a>)"}},{"before":null,"after":"766a170b412eeef9b755b699b0a62a060ad66cc2","ref":"refs/heads/unpin-cbmc","pushedAt":"2023-05-15T07:48:29.720Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"tautschnig","name":"Michael Tautschnig","path":"/tautschnig","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1144736?s=80&v=4"},"commit":{"message":"Move CBMC back to latest\n\nThis reverts commit 9848a8cf3979c9a820027f705ca985091885afc0 (\"Pin CBMC\nversion to 5.81.0\", PR #1022): CBMC 5.83.0 includes\nhttps://github.com/diffblue/cbmc/pull/7700, which fixes the problem\nspotted by aws-c-common's tests.","shortMessageHtmlLink":"Move CBMC back to latest"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yNFQwNjozMjoyMy4wMDAwMDBazwAAAASi7WT_","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0yNFQwNjozMjoyMy4wMDAwMDBazwAAAASi7WT_","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0xNVQwNzo0ODoyOS43MjA2NzFazwAAAAMss6bP"}},"title":"Activity · tautschnig/aws-c-common"}