{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":509187622,"defaultBranch":"main","name":"rust-dev","ownerLogin":"celinval","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-06-30T18:14:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/35149715?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1721183649.0","currentOid":""},"activityList":{"items":[{"before":"ee885521bbfaba05ff693c15999e12b6b6ee55ca","after":"15086ea0b52d031e17cbd574c99e8c2fd7d81b38","ref":"refs/heads/verify-intrinsics","pushedAt":"2024-07-17T20:46:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix Rust build and make MetadataPredicates public","shortMessageHtmlLink":"Fix Rust build and make MetadataPredicates public"}},{"before":"c6f96e39d2dd4bc1d72b2cfffe921c8b121e4641","after":"ee885521bbfaba05ff693c15999e12b6b6ee55ca","ref":"refs/heads/verify-intrinsics","pushedAt":"2024-07-17T19:53:36.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix copy* contract to make it untyped\n\nThe intrinsics `copy` and `copy_nonoverlapping` are untyped copies,\nso they don't respect the validity requirements of `T`.","shortMessageHtmlLink":"Fix copy* contract to make it untyped"}},{"before":null,"after":"66a17e0fa5a8188452af92fa14e7519a264952c9","ref":"refs/heads/sync-2024-07-16","pushedAt":"2024-07-17T02:34:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Merge commit 'a01899fdc8ae' into sync-2024-07-16\n\nConflicts:\n\n - library/core/src/ptr/mod.rs","shortMessageHtmlLink":"Merge commit 'a01899fdc8ae' into sync-2024-07-16"}},{"before":null,"after":"a70ad706948e4502e8de166fa47ea330d4bd0b8e","ref":"refs/heads/chore-0039-subtree","pushedAt":"2024-07-17T02:20:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Reapply repository changes to library files","shortMessageHtmlLink":"Reapply repository changes to library files"}},{"before":"d4aa09f1f4a7f772c284ec361a8b5926b9877bec","after":"c6f96e39d2dd4bc1d72b2cfffe921c8b121e4641","ref":"refs/heads/verify-intrinsics","pushedAt":"2024-07-16T18:28:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix copy* contract to make it untyped\n\nThe intrinsics `copy` and `copy_nonoverlapping` are untyped copies,\nso they don't respect the validity requirements of `T`. The copy is\nalso done on `size_of::<T>() * count` bytes which may be different than\n`size_of::<[T; count]>`","shortMessageHtmlLink":"Fix copy* contract to make it untyped"}},{"before":"d6a872639c57322ade67cb2a401c127defc40b1c","after":"d4aa09f1f4a7f772c284ec361a8b5926b9877bec","ref":"refs/heads/verify-intrinsics","pushedAt":"2024-07-16T03:37:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a few intrinsics contracts\n\n- This is not working due to a Kani limitation","shortMessageHtmlLink":"Add a few intrinsics contracts"}},{"before":null,"after":"d6a872639c57322ade67cb2a401c127defc40b1c","ref":"refs/heads/verify-intrinsics","pushedAt":"2024-07-16T03:34:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a few intrinsics contracts\n\n- This is not working due to a Kani limitation","shortMessageHtmlLink":"Add a few intrinsics contracts"}},{"before":"f27023ad8df2779351054a10dda6f3379aa43d6b","after":"b096c08a86aa3d51b91a0d7bbf917119e2fd2e76","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T23:13:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix tests after intrinsic Abi change","shortMessageHtmlLink":"Fix tests after intrinsic Abi change"}},{"before":"ffed4fdab0754d967604b08ffd279d406308501e","after":"f27023ad8df2779351054a10dda6f3379aa43d6b","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T21:04:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Document safety of a few intrinsics","shortMessageHtmlLink":"Document safety of a few intrinsics"}},{"before":"13a5346828c10504ff9c0ae6c7903d93bb6c3b6a","after":"ffed4fdab0754d967604b08ffd279d406308501e","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T20:45:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Document safety of a few intrinsics","shortMessageHtmlLink":"Document safety of a few intrinsics"}},{"before":"52a8012d892d06dd3b6eba93f987e47387ca408d","after":"13a5346828c10504ff9c0ae6c7903d93bb6c3b6a","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T20:40:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Move a few intrinsics to use Rust abi\n\nMove a few more intrinsic functions to the convention added in #121192\nwhere they have Rust abi but are tagged with `rustc_intrinsic`.\n\nAdditionally, document their safety requirements.","shortMessageHtmlLink":"Move a few intrinsics to use Rust abi"}},{"before":"a3ec8ac513962ac591f1af69a39683d66d818604","after":"52a8012d892d06dd3b6eba93f987e47387ca408d","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T20:27:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Move a few intrinsics to the new format","shortMessageHtmlLink":"Move a few intrinsics to the new format"}},{"before":null,"after":"a3ec8ac513962ac591f1af69a39683d66d818604","ref":"refs/heads/intrinsics-fallback","pushedAt":"2024-07-04T20:20:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Move a few intrinsics to the new format","shortMessageHtmlLink":"Move a few intrinsics to the new format"}},{"before":"8a329923d492dc1377adbf8c831bd8b41eecb2ac","after":"e4f13e57cc3d5e0284d0ef381e5335db4daaa076","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-07-03T20:34:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Merge branch 'main' into challenge-0003-ptr-arith","shortMessageHtmlLink":"Merge branch 'main' into challenge-0003-ptr-arith"}},{"before":"fbac06593c7e2c04faab1922b38ab41b91760977","after":"8a329923d492dc1377adbf8c831bd8b41eecb2ac","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-07-03T17:25:33.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Merge branch 'main' into challenge-0003-ptr-arith","shortMessageHtmlLink":"Merge branch 'main' into challenge-0003-ptr-arith"}},{"before":"5d5fa0b2972ece16eb854766aae22d1f4164c0f6","after":"fbac06593c7e2c04faab1922b38ab41b91760977","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-06-25T21:27:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Update doc/src/challenges/0003-pointer-arithmentic.md\n\nCo-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>","shortMessageHtmlLink":"Update doc/src/challenges/0003-pointer-arithmentic.md"}},{"before":"e1db022362bc78aa36e8dac1f0ab6be7a3507973","after":"5d5fa0b2972ece16eb854766aae22d1f4164c0f6","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-06-25T21:14:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Michael Tautschnig <mt@debian.org>","shortMessageHtmlLink":"Apply suggestions from code review"}},{"before":"9e66c5c7f3422cf6f410b105782c315f14f32e65","after":"e1db022362bc78aa36e8dac1f0ab6be7a3507973","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-06-24T18:10:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a new challenge about pointer arithmetic ops\n\nIn this challenge, we want to look at the safe usage of pointer\narithmetic operations.","shortMessageHtmlLink":"Add a new challenge about pointer arithmetic ops"}},{"before":"18ca5e40cb4530bf3c3e9ba8e01a11caf8882901","after":"9e66c5c7f3422cf6f410b105782c315f14f32e65","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-06-24T18:08:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a new challenge about pointer arithmetic ops\n\nIn this challenge, we want to look at the safe usage of pointer\narithmetic operations.","shortMessageHtmlLink":"Add a new challenge about pointer arithmetic ops"}},{"before":null,"after":"18ca5e40cb4530bf3c3e9ba8e01a11caf8882901","ref":"refs/heads/challenge-0003-ptr-arith","pushedAt":"2024-06-24T18:05:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a new challenge about pointer arithmetic ops\n\nIn this challenge, we want to look at the safe usage of pointer\narithmetic operations.","shortMessageHtmlLink":"Add a new challenge about pointer arithmetic ops"}},{"before":"5ec2ea90e91031ab6a4891d58e57b0b4521f1d52","after":"191e175c35d38571b7069f44d3483ca487cf524f","ref":"refs/heads/verify-0000-summary","pushedAt":"2024-06-21T15:46:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Merge branch 'main' into verify-0000-summary","shortMessageHtmlLink":"Merge branch 'main' into verify-0000-summary"}},{"before":"fbfcf10af4c586938c726506e796d0cc676815d0","after":"5ec2ea90e91031ab6a4891d58e57b0b4521f1d52","ref":"refs/heads/verify-0000-summary","pushedAt":"2024-06-20T22:33:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix challenge numbers and move to challenges/ dir\n\n- I also had to add a little blob for the challenges chapter, since\nmdbook requires all chapters to be a page.","shortMessageHtmlLink":"Fix challenge numbers and move to challenges/ dir"}},{"before":null,"after":"fbfcf10af4c586938c726506e796d0cc676815d0","ref":"refs/heads/verify-0000-summary","pushedAt":"2024-06-20T22:22:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Fix challenge numbers and move to challenges/ dir","shortMessageHtmlLink":"Fix challenge numbers and move to challenges/ dir"}},{"before":null,"after":"6d4a8257149ab7fea438ee7ad52491c2985b4340","ref":"refs/heads/issue-0080-def-ty","pushedAt":"2024-06-13T00:49:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a new trait to retrieve StableMir definition Ty\n\nWe implement the trait only for definitions that should have a type.\nIt's possible that I missed a few definitions, but we can add them later\nif needed.","shortMessageHtmlLink":"Add a new trait to retrieve StableMir definition Ty"}},{"before":null,"after":"c8c6598f17128b3ac1ec3573dc54876d24cc7a77","ref":"refs/heads/issue-0079-intrinsic","pushedAt":"2024-06-12T23:06:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Unify intrinsics body handling in StableMIR\n\nrust-lang/rust#120675 introduced a new mechanism to declare intrinsics\nwhich will potentially replace the rust-intrinsic ABI.\n\nThe new mechanism introduces a placeholder body and mark the intrinsic\nwith #[rustc_intrinsic_must_be_overridden].\nIn practice, this means that backends should not generate code for the\nplaceholder, and shim the intrinsic.\nThe new annotation is an internal compiler implementation,\nand it doesn't need to be exposed to StableMIR users.\n\nIn this PR, intrinsics marked with `rustc_intrinsic_must_be_overridden`\nare handled the same way as intrinsics that do not have a body.","shortMessageHtmlLink":"Unify intrinsics body handling in StableMIR"}},{"before":"b6d7ea2a9a7a7406bbad7144ca2891b5f6efb769","after":"73e117353109cd0e5a50f34b00d4c95b91702917","ref":"refs/heads/verify-0000-swap","pushedAt":"2024-06-12T15:51:35.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Merge branch 'main' into verify-0000-swap","shortMessageHtmlLink":"Merge branch 'main' into verify-0000-swap"}},{"before":"8c3c80ed86f076c26989535e1ce0bf4477ab557b","after":"b6d7ea2a9a7a7406bbad7144ca2891b5f6efb769","ref":"refs/heads/verify-0000-swap","pushedAt":"2024-06-12T15:51:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Remove redundant check","shortMessageHtmlLink":"Remove redundant check"}},{"before":"c49757ed6d562c152275df6e60baf6f07fbea7f4","after":"8c3c80ed86f076c26989535e1ce0bf4477ab557b","ref":"refs/heads/verify-0000-swap","pushedAt":"2024-06-12T15:43:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Update library/core/src/intrinsics.rs\n\nCo-authored-by: Michael Tautschnig <mt@debian.org>","shortMessageHtmlLink":"Update library/core/src/intrinsics.rs"}},{"before":null,"after":"c49757ed6d562c152275df6e60baf6f07fbea7f4","ref":"refs/heads/verify-0000-swap","pushedAt":"2024-06-12T03:52:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Add a few more contract and harness examples","shortMessageHtmlLink":"Add a few more contract and harness examples"}},{"before":"be3f574b37dc2411e490fb96f46122bdbfb8063d","after":"c4b9c199c24c24a0ccb5093e69a47bb5d20337c5","ref":"refs/heads/verify-0000-mem","pushedAt":"2024-06-12T02:18:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"celinval","name":"Celina G. Val","path":"/celinval","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35149715?s=80&v=4"},"commit":{"message":"Apply suggestions from code review\n\nCo-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>","shortMessageHtmlLink":"Apply suggestions from code review"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEgkC4LgA","startCursor":null,"endCursor":null}},"title":"Activity · celinval/rust-dev"}