{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":835789367,"defaultBranch":"main","name":"verify-rust-std","ownerLogin":"carolynzech","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-07-30T14:31:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71352687?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726692872.0","currentOid":""},"activityList":{"items":[{"before":"3dba941a34cb4adf4689022200da942a4291bdb1","after":"917cf6a1f68746b91a96e04b7baf00e6aaff639c","ref":"refs/heads/invariant","pushedAt":"2024-09-20T13:58:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"allow unused imports\n\nCo-authored-by: Celina G. Val <celinval@amazon.com>","shortMessageHtmlLink":"allow unused imports"}},{"before":"809ba7624459511eca7e388bf7b9463d819b0487","after":"3de338c2b856682f2fff21ba67a14d2fb2e6afd9","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-19T20:38:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"contracts for unsafe helpers and intrinsics","shortMessageHtmlLink":"contracts for unsafe helpers and intrinsics"}},{"before":"31f405e76eed94f196020873bb27875d797cd4aa","after":"3dba941a34cb4adf4689022200da942a4291bdb1","ref":"refs/heads/invariant","pushedAt":"2024-09-19T18:49:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"Merge branch 'invariant' of github.com:carolynzech/verify-rust-std into invariant","shortMessageHtmlLink":"Merge branch 'invariant' of github.com:carolynzech/verify-rust-std in…"}},{"before":"51a0cbc787858c2f0342e45ba61156c61c2c93ff","after":"31f405e76eed94f196020873bb27875d797cd4aa","ref":"refs/heads/invariant","pushedAt":"2024-09-19T15:49:38.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"Merge branch 'main' into invariant","shortMessageHtmlLink":"Merge branch 'main' into invariant"}},{"before":"20696bf08ba45c8f641d20d38ee1c8c83cb06ddb","after":"51a0cbc787858c2f0342e45ba61156c61c2c93ff","ref":"refs/heads/invariant","pushedAt":"2024-09-19T15:49:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"add docs for is_safe","shortMessageHtmlLink":"add docs for is_safe"}},{"before":"33b9d2f34f18e6ca3c583f5b5a55be1fc5cc0733","after":"20696bf08ba45c8f641d20d38ee1c8c83cb06ddb","ref":"refs/heads/invariant","pushedAt":"2024-09-19T14:35:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"fix unused imports","shortMessageHtmlLink":"fix unused imports"}},{"before":"7707ea5a48054748f62715bacc6f2e2c4deced0c","after":"d0abafc0d6122bc26a097d4589e7defc302a418a","ref":"refs/heads/align-offset-perf","pushedAt":"2024-09-19T13:35:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"add explanatory comment","shortMessageHtmlLink":"add explanatory comment"}},{"before":null,"after":"7707ea5a48054748f62715bacc6f2e2c4deced0c","ref":"refs/heads/align-offset-perf","pushedAt":"2024-09-18T20:54:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"improve performance for align offset harness","shortMessageHtmlLink":"improve performance for align offset harness"}},{"before":"4c2cbaaa620b9c583b2cb11f257b5e3e43d7fbce","after":null,"ref":"refs/heads/remove-generic","pushedAt":"2024-09-18T18:00:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":null,"after":"33b9d2f34f18e6ca3c583f5b5a55be1fc5cc0733","ref":"refs/heads/invariant","pushedAt":"2024-09-18T16:57:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"layout and alignment invariants","shortMessageHtmlLink":"layout and alignment invariants"}},{"before":null,"after":"4c2cbaaa620b9c583b2cb11f257b5e3e43d7fbce","ref":"refs/heads/remove-generic","pushedAt":"2024-09-17T20:13:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"fix check_cast harness","shortMessageHtmlLink":"fix check_cast harness"}},{"before":"2e02a7c592735da26d65b909cf82a10019348a8b","after":"809ba7624459511eca7e388bf7b9463d819b0487","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-14T00:08:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"part 1 uses methods instead of helpers","shortMessageHtmlLink":"part 1 uses methods instead of helpers"}},{"before":"94f10a999aa2d5379bae63178aaccd7862110253","after":"2e02a7c592735da26d65b909cf82a10019348a8b","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-13T22:31:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"remove intrinsics paragraph","shortMessageHtmlLink":"remove intrinsics paragraph"}},{"before":"88263eded335225258716012ff178d44666ae43e","after":"94f10a999aa2d5379bae63178aaccd7862110253","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-13T22:11:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"address (some) feedback","shortMessageHtmlLink":"address (some) feedback"}},{"before":"6879006d5474a1e47b570f1bd1a93195c0d48ba4","after":null,"ref":"refs/heads/clone-submodules","pushedAt":"2024-09-10T00:21:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"24a0b16959a4124db01fa888d7dd8ac4acdf6a7a","after":null,"ref":"refs/heads/sync-2024-08-07","pushedAt":"2024-09-10T00:21:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"4c3758244feeccec73a7a303e395a2856009d929","after":null,"ref":"refs/heads/floats-ints-challenge","pushedAt":"2024-09-10T00:21:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"dec7991b7d4ce78dba1f071a279c5b171e24eb08","after":null,"ref":"refs/heads/sync-2024-08-27","pushedAt":"2024-09-10T00:21:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"c6cecce731b6bea3bd6a46d9351151fd2a6363f6","after":"149f6dd5409fac01a983d7b98c51d51666c74e45","ref":"refs/heads/main","pushedAt":"2024-09-10T00:20:50.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"ascii_char contracts","shortMessageHtmlLink":"ascii_char contracts"}},{"before":"232fc3710ae7e55ac4d249ee31dcffceef457ef7","after":"88263eded335225258716012ff178d44666ae43e","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-09T19:03:39.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"Merge branch 'main' into atomic-challenge","shortMessageHtmlLink":"Merge branch 'main' into atomic-challenge"}},{"before":"149f6dd5409fac01a983d7b98c51d51666c74e45","after":null,"ref":"refs/heads/sync-2024-09-08","pushedAt":"2024-09-09T18:51:59.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"514aada06c21e2b87308c47cba5ecd8d92ac8338","after":null,"ref":"refs/heads/atomic-types-challenge","pushedAt":"2024-09-09T18:33:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}},{"before":"5ea1560fcafa49a5c99540b61b4016b95113ef7e","after":"232fc3710ae7e55ac4d249ee31dcffceef457ef7","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-09T18:32:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"add link to issue","shortMessageHtmlLink":"add link to issue"}},{"before":null,"after":"5ea1560fcafa49a5c99540b61b4016b95113ef7e","ref":"refs/heads/atomic-challenge","pushedAt":"2024-09-09T18:31:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"add challenge","shortMessageHtmlLink":"add challenge"}},{"before":null,"after":"514aada06c21e2b87308c47cba5ecd8d92ac8338","ref":"refs/heads/atomic-types-challenge","pushedAt":"2024-09-09T18:27:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"atomic types challenge","shortMessageHtmlLink":"atomic types challenge"}},{"before":"bc7bce746f62627b219f5784c67058eb50821cec","after":"c6cecce731b6bea3bd6a46d9351151fd2a6363f6","ref":"refs/heads/main","pushedAt":"2024-09-09T17:23:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"Fix challenges numbering (#79)","shortMessageHtmlLink":"Fix challenges numbering (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2511176416\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/79\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/79/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/79\">model-checking#79</a>)"}},{"before":null,"after":"149f6dd5409fac01a983d7b98c51d51666c74e45","ref":"refs/heads/sync-2024-09-08","pushedAt":"2024-09-09T15:02:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"ascii_char contracts","shortMessageHtmlLink":"ascii_char contracts"}},{"before":"1f0fc95ea7eac1d21af33c36aef0d2947dd385c2","after":"bc7bce746f62627b219f5784c67058eb50821cec","ref":"refs/heads/main","pushedAt":"2024-09-06T16:24:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"`align_offset` Contracts (#69)\n\nBy submitting this pull request, I confirm that my contribution is made\r\nunder the terms of the Apache 2.0 and MIT licenses.\r\n\r\n---------\r\n\r\nCo-authored-by: Michael Tautschnig <mt@debian.org>\r\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>\r\nCo-authored-by: Michael Tautschnig <tautschn@amazon.com>","shortMessageHtmlLink":"<code>align_offset</code> Contracts (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2483402060\" data-permission-text=\"Title is private\" data-url=\"https://github.com/model-checking/verify-rust-std/issues/69\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/model-checking/verify-rust-std/pull/69/hovercard\" href=\"https://github.com/model-checking/verify-rust-std/pull/69\">model-checking#69</a>)"}},{"before":null,"after":"1de942e0d2254e24c5da05300bf82abc7351ce29","ref":"refs/heads/type-invariant","pushedAt":"2024-09-05T20:02:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"},"commit":{"message":"type invariant wip","shortMessageHtmlLink":"type invariant wip"}},{"before":"7f91e2f7e33d0ae44c871db74fe59bec67866585","after":null,"ref":"refs/heads/align-offset-contracts","pushedAt":"2024-08-30T18:31:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"carolynzech","name":"Carolyn Zech","path":"/carolynzech","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71352687?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzo1ODo1My4wMDAwMDBazwAAAAS8BzMv","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzo1ODo1My4wMDAwMDBazwAAAAS8BzMv","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMFQxODozMTo0OC4wMDAwMDBazwAAAASo8iuO"}},"title":"Activity · carolynzech/verify-rust-std"}