{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":799203796,"defaultBranch":"master","name":"miri","ownerLogin":"TDecking","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2024-05-11T12:57:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15847799?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1726579721.0","currentOid":""},"activityList":{"items":[{"before":"6bf72be88f63c531f1f2d3d8129841a7330f4d07","after":"b73030f3ea5b426865998b79c8a34cfd74f99111","ref":"refs/heads/gfni","pushedAt":"2024-09-17T13:49:04.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 gfni intrinsics","shortMessageHtmlLink":"Implement LLVM x86 gfni intrinsics"}},{"before":null,"after":"6bf72be88f63c531f1f2d3d8129841a7330f4d07","ref":"refs/heads/gfni","pushedAt":"2024-09-17T13:28:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 gfni intrinsics","shortMessageHtmlLink":"Implement LLVM x86 gfni intrinsics"}},{"before":"143ec4d542a5d37814b30407dee038a83469623a","after":"bdab169690d80d2144240a9044a52d65dc7afe28","ref":"refs/heads/master","pushedAt":"2024-09-17T13:17:39.000Z","pushType":"push","commitsCount":55,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3891 - tiif:tokiotest, r=RalfJung\n\nFix tokio test ICE\n\nFixes #3858\n\nIt turned out that the issue mentioned [here](https://github.com/rust-lang/miri/issues/3858#issuecomment-2336726299) is the exact cause of ICE.\nSo in this PR, I changed the type of ``EpollEventInterest::epfd`` from ``i32`` to ``WeakFileDescriptionRef``.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2527287371\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3891\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3891/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3891\">rust-lang#3891</a> - tiif:tokiotest, r=RalfJung"}},{"before":"d54c18a05856698a8173cf2950c3c42140383253","after":"143ec4d542a5d37814b30407dee038a83469623a","ref":"refs/heads/master","pushedAt":"2024-09-14T21:23:50.000Z","pushType":"push","commitsCount":823,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3884 - Mandragorian:detect_cond_move, r=RalfJung\n\ndetect when pthread_cond_t is moved\n\nCloses #3749","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2524888919\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3884\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3884/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3884\">rust-lang#3884</a> - Mandragorian:detect_cond_move, r=RalfJung"}},{"before":"72b4d8c0f37b38f8f1e65d182ec90e66b88db25e","after":"d54c18a05856698a8173cf2950c3c42140383253","ref":"refs/heads/master","pushedAt":"2024-07-15T16:01:06.000Z","pushType":"push","commitsCount":126,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3745 - joboet:os_unfair_lock, r=RalfJung\n\nImplement the `os_unfair_lock` functions on macOS\n\nThese are needed for rust-lang/rust#122408. See the documentation [here](https://developer.apple.com/documentation/os/synchronization?language=objc) and the implementation [here](https://github.com/apple-oss-distributions/libplatform/blob/a00a4cc36da2110578bcf3b8eeeeb93dcc7f4e11/src/os/lock.c#L645).","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406855806\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3745\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3745/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3745\">rust-lang#3745</a> - joboet:os_unfair_lock, r=RalfJung"}},{"before":"c84a28a03c9dc663afbb0af3f478defb3564cc0a","after":null,"ref":"refs/heads/vzero","pushedAt":"2024-07-03T22:40:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"}},{"before":"14ecda4e79ae81b6a2c4c4ea6261728ed0d49684","after":"c84a28a03c9dc663afbb0af3f478defb3564cc0a","ref":"refs/heads/vzero","pushedAt":"2024-07-03T09:08:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsics","shortMessageHtmlLink":"Implement the <code>_mm256_zeroupper</code> and <code>_mm256_zeroall</code> intrinsics"}},{"before":null,"after":"14ecda4e79ae81b6a2c4c4ea6261728ed0d49684","ref":"refs/heads/vzero","pushedAt":"2024-07-01T19:02:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement the `_mm256_zeroupper` and `_mm256_zeroall` intrinsics","shortMessageHtmlLink":"Implement the <code>_mm256_zeroupper</code> and <code>_mm256_zeroall</code> intrinsics"}},{"before":"be67edbfbff287a60f8c9ec3eb20dc5234a1f2ec","after":"72b4d8c0f37b38f8f1e65d182ec90e66b88db25e","ref":"refs/heads/master","pushedAt":"2024-07-01T18:22:08.000Z","pushType":"push","commitsCount":115,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3723 - RalfJung:win-tls-callback, r=RalfJung\n\niter_exported_symbols: also walk used statics in local crate\n\nSince https://github.com/rust-lang/rust/pull/126938 got reverted, we need a different approach.\n\nFixes https://github.com/rust-lang/miri/issues/3722","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381643072\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3723\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3723/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3723\">rust-lang#3723</a> - RalfJung:win-tls-callback, r=RalfJung"}},{"before":"be9eece2afea54aad02dfa061b0fe628e4cc9270","after":null,"ref":"refs/heads/adx","pushedAt":"2024-06-22T15:48:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"}},{"before":"cc9699dc545e046e8fde9a2da315787ce07c7cb1","after":"be67edbfbff287a60f8c9ec3eb20dc5234a1f2ec","ref":"refs/heads/master","pushedAt":"2024-06-22T15:48:29.000Z","pushType":"push","commitsCount":34,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3690 - TDecking:adx, r=RalfJung\n\nImplement LLVM x86 adx intrinsics\n\nSee title. It also explots a small opportunity to deduplicate a bit of intrinsics code.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2365014907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3690\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3690/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3690\">rust-lang#3690</a> - TDecking:adx, r=RalfJung"}},{"before":"6374a8746b41f8f16e8da72e0c720569f15d84e3","after":"be9eece2afea54aad02dfa061b0fe628e4cc9270","ref":"refs/heads/adx","pushedAt":"2024-06-22T15:12:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RalfJung","name":"Ralf Jung","path":"/RalfJung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/330628?s=80&v=4"},"commit":{"message":"evaluate arguments first, not inside the logic","shortMessageHtmlLink":"evaluate arguments first, not inside the logic"}},{"before":"6f3afe9613002a3ac9afac697bf56a28176254f4","after":"6374a8746b41f8f16e8da72e0c720569f15d84e3","ref":"refs/heads/adx","pushedAt":"2024-06-22T15:02:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"RalfJung","name":"Ralf Jung","path":"/RalfJung","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/330628?s=80&v=4"},"commit":{"message":"evaluate arguments first, not inside the logic","shortMessageHtmlLink":"evaluate arguments first, not inside the logic"}},{"before":"073a6c2955545d4ccf5ab5e89efc37506400f161","after":"6f3afe9613002a3ac9afac697bf56a28176254f4","ref":"refs/heads/adx","pushedAt":"2024-06-21T15:55:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Move out addition logic","shortMessageHtmlLink":"Move out addition logic"}},{"before":"66d7b7b4c4528320d932db2fc0cd0de807142846","after":"073a6c2955545d4ccf5ab5e89efc37506400f161","ref":"refs/heads/adx","pushedAt":"2024-06-21T13:16:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 adx intrinsics","shortMessageHtmlLink":"Implement LLVM x86 adx intrinsics"}},{"before":"e06f3a54d2db2f56bd245b3dc8a191844b98583d","after":"66d7b7b4c4528320d932db2fc0cd0de807142846","ref":"refs/heads/adx","pushedAt":"2024-06-21T11:25:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 adx intrinsics","shortMessageHtmlLink":"Implement LLVM x86 adx intrinsics"}},{"before":"d080453006d66102626bd6ebef81337428dd8393","after":"e06f3a54d2db2f56bd245b3dc8a191844b98583d","ref":"refs/heads/adx","pushedAt":"2024-06-20T18:30:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 adx intrinsics","shortMessageHtmlLink":"Implement LLVM x86 adx intrinsics"}},{"before":null,"after":"d080453006d66102626bd6ebef81337428dd8393","ref":"refs/heads/adx","pushedAt":"2024-06-20T18:11:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 adx intrinsics","shortMessageHtmlLink":"Implement LLVM x86 adx intrinsics"}},{"before":"54d74712c444ca4090ed20eb3f58f7dbce2b3942","after":"cc9699dc545e046e8fde9a2da315787ce07c7cb1","ref":"refs/heads/master","pushedAt":"2024-06-20T12:42:56.000Z","pushType":"push","commitsCount":75,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Auto merge of #3674 - TDecking:bmi, r=RalfJung\n\nImplement LLVM x86 bmi intrinsics\n\nThis implements the intrinsics for both the bmi1 and bmi2 ISA extensions. All of these intrinsics live inside the same namespace as far as LLVM is concerned, which is why it is arguably better to bundle the implementations of these two extensions.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2354836104\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3674\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3674/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3674\">rust-lang#3674</a> - TDecking:bmi, r=RalfJung"}},{"before":"459eadaf8a1fdb40603410f4935fd0f3e27b7404","after":null,"ref":"refs/heads/bmi","pushedAt":"2024-06-20T12:42:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"}},{"before":"90134715350f1279680870bf984611289e29623e","after":"459eadaf8a1fdb40603410f4935fd0f3e27b7404","ref":"refs/heads/bmi","pushedAt":"2024-06-20T10:40:45.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 bmi intrinsics","shortMessageHtmlLink":"Implement LLVM x86 bmi intrinsics"}},{"before":"d220558964802482ad785d4049cf5ed8cdc54917","after":"90134715350f1279680870bf984611289e29623e","ref":"refs/heads/bmi","pushedAt":"2024-06-20T09:07:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Fix a comment","shortMessageHtmlLink":"Fix a comment"}},{"before":"5d4deb762f1aba2d5722e0c42b76f007881bb353","after":"d220558964802482ad785d4049cf5ed8cdc54917","ref":"refs/heads/bmi","pushedAt":"2024-06-20T08:25:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Minimize loop bounds","shortMessageHtmlLink":"Minimize loop bounds"}},{"before":"8290b2bcbb87efcf7bf71ffcad67e523ddc487f0","after":"5d4deb762f1aba2d5722e0c42b76f007881bb353","ref":"refs/heads/bmi","pushedAt":"2024-06-19T21:20:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Add `bextr2` test cases","shortMessageHtmlLink":"Add <code>bextr2</code> test cases"}},{"before":"d1a3aa141a94c4923a9ad5a3bcea53d365b08403","after":"8290b2bcbb87efcf7bf71ffcad67e523ddc487f0","ref":"refs/heads/bmi","pushedAt":"2024-06-19T12:39:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Comment improvement","shortMessageHtmlLink":"Comment improvement"}},{"before":"f259c77eda4b6aea98e1935c96aac0f2fec74e82","after":"d1a3aa141a94c4923a9ad5a3bcea53d365b08403","ref":"refs/heads/bmi","pushedAt":"2024-06-19T12:32:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Additional test cases involving bextr2","shortMessageHtmlLink":"Additional test cases involving bextr2"}},{"before":"c5d3fb2c9058a584fadb2e3c591a8abc27faf51d","after":"f259c77eda4b6aea98e1935c96aac0f2fec74e82","ref":"refs/heads/bmi","pushedAt":"2024-06-19T12:16:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Slightly lower the test bounds","shortMessageHtmlLink":"Slightly lower the test bounds"}},{"before":"39ddec0be424a3b1f1584c7fa0c44ac20b0aae4a","after":"c5d3fb2c9058a584fadb2e3c591a8abc27faf51d","ref":"refs/heads/bmi","pushedAt":"2024-06-19T12:11:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Implement LLVM x86 bmi intrinsics","shortMessageHtmlLink":"Implement LLVM x86 bmi intrinsics"}},{"before":"e0b0a3e5f5cf1a427e378045d539d8157914a3f2","after":"39ddec0be424a3b1f1584c7fa0c44ac20b0aae4a","ref":"refs/heads/bmi","pushedAt":"2024-06-19T11:57:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"Merge branch 'bmi' of https://www.github.com/TDecking/miri into bmi","shortMessageHtmlLink":"Merge branch 'bmi' of <a href=\"https://www.github.com/TDecking/miri\">https://www.github.com/TDecking/miri</a> into bmi"}},{"before":"45fb523acd74af9c871c68b2f7c4fb4a27c15bc5","after":"e0b0a3e5f5cf1a427e378045d539d8157914a3f2","ref":"refs/heads/bmi","pushedAt":"2024-06-19T11:54:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"TDecking","name":"Tobias Decking","path":"/TDecking","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15847799?s=80&v=4"},"commit":{"message":"`pext` and `pdep` comment","shortMessageHtmlLink":"<code>pext</code> and <code>pdep</code> comment"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xN1QxMzo0OTowNC4wMDAwMDBazwAAAAS4l1vY","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0xOVQxMTo1NDowNy4wMDAwMDBazwAAAARpfTdF"}},"title":"Activity · TDecking/miri"}