{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":46083140,"defaultBranch":"master","name":"miri","ownerLogin":"rust-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-11-12T21:51:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5430905?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715412212.0","currentOid":""},"activityList":{"items":[{"before":"9b5daa834e0fd4128f70988b26e3548c83b92529","after":"53481c468db62d3c305499dcab213eacef6979eb","ref":"refs/heads/master","pushedAt":"2024-05-20T06:19:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3610 - marc0246:missing-error-kinds, r=RalfJung\n\nUse `throw_unsup_format!` instead of returning `ENOTSUP` in the mmap shim\n\nI noticed this while trying to use `mmap` with `PROT_NONE`, which resulted in this error message:\n```\nOs { code: 95, kind: Uncategorized, message: \"<unknown errnum in strerror_r: 95>\" }\n```\ncc `@saethlin`","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303563764\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3610\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3610/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3610\">#3610</a> - marc0246:missing-error-kinds, r=RalfJung"}},{"before":"9b5daa834e0fd4128f70988b26e3548c83b92529","after":"53481c468db62d3c305499dcab213eacef6979eb","ref":"refs/heads/auto","pushedAt":"2024-05-20T05:56:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3610 - marc0246:missing-error-kinds, r=RalfJung\n\nUse `throw_unsup_format!` instead of returning `ENOTSUP` in the mmap shim\n\nI noticed this while trying to use `mmap` with `PROT_NONE`, which resulted in this error message:\n```\nOs { code: 95, kind: Uncategorized, message: \"<unknown errnum in strerror_r: 95>\" }\n```\ncc `@saethlin`","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303563764\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3610\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3610/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3610\">#3610</a> - marc0246:missing-error-kinds, r=RalfJung"}},{"before":"654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5","after":"9b5daa834e0fd4128f70988b26e3548c83b92529","ref":"refs/heads/master","pushedAt":"2024-05-19T18:23:54.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJung\n\nDirectly implement native exception raise methods in miri\n\nThis implements the `_Unwind_RaiseException` function used on pretty much every unix system for starting unwinding. This allows removing the miri special case from libpanic_unwind for unix.\n\nWindows still needs `miri_start_unwind` as SEH unwinding isn't supported by miri. Unlike DWARF unwinding, SEH preserves all stack frames until right after the do_catch function has executed. Because of this panic_unwind stack allocates the exception object. Miri can't currently model unwinding without destroying stack frames and as such will report a use-after-free of the exception object.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152438377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3319\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3319/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3319\">#3319</a> - bjorn3:some_more_shims, r=RalfJung"}},{"before":"654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5","after":"9b5daa834e0fd4128f70988b26e3548c83b92529","ref":"refs/heads/auto","pushedAt":"2024-05-19T17:35:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3319 - bjorn3:some_more_shims, r=RalfJung\n\nDirectly implement native exception raise methods in miri\n\nThis implements the `_Unwind_RaiseException` function used on pretty much every unix system for starting unwinding. This allows removing the miri special case from libpanic_unwind for unix.\n\nWindows still needs `miri_start_unwind` as SEH unwinding isn't supported by miri. Unlike DWARF unwinding, SEH preserves all stack frames until right after the do_catch function has executed. Because of this panic_unwind stack allocates the exception object. Miri can't currently model unwinding without destroying stack frames and as such will report a use-after-free of the exception object.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2152438377\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3319\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3319/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3319\">#3319</a> - bjorn3:some_more_shims, r=RalfJung"}},{"before":"f763474eae8d388e09e594f91ecaf5c38717fd51","after":"654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5","ref":"refs/heads/master","pushedAt":"2024-05-19T17:22:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3621 - RalfJung:argparse, r=RalfJung\n\nuse a little arg-parsing helper for miri-script","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304686812\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3621\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3621/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3621\">#3621</a> - RalfJung:argparse, r=RalfJung"}},{"before":"8ffd0fb6edfc50cd9bc1d9176484eed0690976ad","after":"654cb0dcb0a1e58f3835e0d8c464f2dedaa58ac5","ref":"refs/heads/auto","pushedAt":"2024-05-19T16:58:52.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3621 - RalfJung:argparse, r=RalfJung\n\nuse a little arg-parsing helper for miri-script","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304686812\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3621\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3621/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3621\">#3621</a> - RalfJung:argparse, r=RalfJung"}},{"before":"c873babcaa44d5d96b363dce8d5a5c00f9c6876d","after":"8ffd0fb6edfc50cd9bc1d9176484eed0690976ad","ref":"refs/heads/auto","pushedAt":"2024-05-19T16:57:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3621 - RalfJung:argparse, r=RalfJung\n\nuse a little arg-parsing helper for miri-script","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304686812\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3621\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3621/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3621\">#3621</a> - RalfJung:argparse, r=RalfJung"}},{"before":"f763474eae8d388e09e594f91ecaf5c38717fd51","after":"c873babcaa44d5d96b363dce8d5a5c00f9c6876d","ref":"refs/heads/auto","pushedAt":"2024-05-19T16:46:07.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3621 - RalfJung:argparse, r=RalfJung\n\nuse a little arg-parsing helper for miri-script","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304686812\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3621\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3621/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3621\">#3621</a> - RalfJung:argparse, r=RalfJung"}},{"before":"0c3be5e210af13999433a59b7bd7ff29f11745cb","after":"f763474eae8d388e09e594f91ecaf5c38717fd51","ref":"refs/heads/master","pushedAt":"2024-05-19T15:14:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3620 - RalfJung:wasi, r=RalfJung\n\ntest wasm32-wasip2 instead of the deprecated wasm32-wasi target","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304646399\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3620\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3620/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3620\">#3620</a> - RalfJung:wasi, r=RalfJung"}},{"before":"0c3be5e210af13999433a59b7bd7ff29f11745cb","after":"f763474eae8d388e09e594f91ecaf5c38717fd51","ref":"refs/heads/auto","pushedAt":"2024-05-19T14:51:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3620 - RalfJung:wasi, r=RalfJung\n\ntest wasm32-wasip2 instead of the deprecated wasm32-wasi target","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304646399\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3620\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3620/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3620\">#3620</a> - RalfJung:wasi, r=RalfJung"}},{"before":"97cd966092fa6b073f4a910c5d0642aa9724c789","after":"0c3be5e210af13999433a59b7bd7ff29f11745cb","ref":"refs/heads/master","pushedAt":"2024-05-19T12:42:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3619 - RalfJung:print-sysroot, r=RalfJung\n\nproperly print error in 'cargo miri setup --print-sysroot'\n\nBased on rustc-build-sysroot now putting the stderr into the error message.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304577756\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3619\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3619/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3619\">#3619</a> - RalfJung:print-sysroot, r=RalfJung"}},{"before":"97cd966092fa6b073f4a910c5d0642aa9724c789","after":"0c3be5e210af13999433a59b7bd7ff29f11745cb","ref":"refs/heads/auto","pushedAt":"2024-05-19T12:04:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3619 - RalfJung:print-sysroot, r=RalfJung\n\nproperly print error in 'cargo miri setup --print-sysroot'\n\nBased on rustc-build-sysroot now putting the stderr into the error message.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304577756\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3619\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3619/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3619\">#3619</a> - RalfJung:print-sysroot, r=RalfJung"}},{"before":"b850b4dfba93bbf9a6e17f3c21692ba665dc196e","after":"97cd966092fa6b073f4a910c5d0642aa9724c789","ref":"refs/heads/master","pushedAt":"2024-05-19T10:38:50.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3616 - RalfJung:android, r=RalfJung\n\nmake basic things work on Android\n\nFixes https://github.com/rust-lang/miri/issues/3608","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304513765\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3616\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3616/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3616\">#3616</a> - RalfJung:android, r=RalfJung"}},{"before":"b850b4dfba93bbf9a6e17f3c21692ba665dc196e","after":"97cd966092fa6b073f4a910c5d0642aa9724c789","ref":"refs/heads/auto","pushedAt":"2024-05-19T10:14:37.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3616 - RalfJung:android, r=RalfJung\n\nmake basic things work on Android\n\nFixes https://github.com/rust-lang/miri/issues/3608","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304513765\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3616\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3616/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3616\">#3616</a> - RalfJung:android, r=RalfJung"}},{"before":"4f8b3efa98368d16fc79bb230253ef4d55f38f42","after":"b850b4dfba93bbf9a6e17f3c21692ba665dc196e","ref":"refs/heads/master","pushedAt":"2024-05-19T10:13:34.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3585 - devnexen:aligned_alloc, r=RalfJung\n\nsupport aligned_alloc for unixes.\n\nFixes https://github.com/rust-lang/miri/issues/3577","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2284312944\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3585\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3585/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3585\">#3585</a> - devnexen:aligned_alloc, r=RalfJung"}},{"before":"7bfc04914d78d3810a65a0e7ae8e9b43d20a8787","after":"b850b4dfba93bbf9a6e17f3c21692ba665dc196e","ref":"refs/heads/auto","pushedAt":"2024-05-19T09:50:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3585 - devnexen:aligned_alloc, r=RalfJung\n\nsupport aligned_alloc for unixes.\n\nFixes https://github.com/rust-lang/miri/issues/3577","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2284312944\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3585\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3585/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3585\">#3585</a> - devnexen:aligned_alloc, r=RalfJung"}},{"before":"4f8b3efa98368d16fc79bb230253ef4d55f38f42","after":"7bfc04914d78d3810a65a0e7ae8e9b43d20a8787","ref":"refs/heads/auto","pushedAt":"2024-05-19T09:25:41.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3616 - RalfJung:android, r=RalfJung\n\nmake basic things work on Android\n\nFixes https://github.com/rust-lang/miri/issues/3608","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304513765\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3616\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3616/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3616\">#3616</a> - RalfJung:android, r=RalfJung"}},{"before":"e1099c653869d18d2590bc3366b74b96a70997b1","after":"4f8b3efa98368d16fc79bb230253ef4d55f38f42","ref":"refs/heads/master","pushedAt":"2024-05-19T09:06:10.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3615 - RalfJung:rustup, r=RalfJung\n\nRustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304500992\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3615/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3615\">#3615</a> - RalfJung:rustup, r=RalfJung"}},{"before":"e1099c653869d18d2590bc3366b74b96a70997b1","after":"4f8b3efa98368d16fc79bb230253ef4d55f38f42","ref":"refs/heads/auto","pushedAt":"2024-05-19T08:43:00.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3615 - RalfJung:rustup, r=RalfJung\n\nRustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2304500992\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3615\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3615/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3615\">#3615</a> - RalfJung:rustup, r=RalfJung"}},{"before":"ef8015534aa1e0e12c82c48ad0b779f1248e0d85","after":"e1099c653869d18d2590bc3366b74b96a70997b1","ref":"refs/heads/master","pushedAt":"2024-05-17T22:35:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3611 - marc0246:helix-ignore, r=saethlin\n\nIgnore the Helix configuration directory\n\nFor us Helix users.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303569827\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3611\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3611/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3611\">#3611</a> - marc0246:helix-ignore, r=saethlin"}},{"before":"ef8015534aa1e0e12c82c48ad0b779f1248e0d85","after":"e1099c653869d18d2590bc3366b74b96a70997b1","ref":"refs/heads/auto","pushedAt":"2024-05-17T22:12:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3611 - marc0246:helix-ignore, r=saethlin\n\nIgnore the Helix configuration directory\n\nFor us Helix users.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2303569827\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3611\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3611/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3611\">#3611</a> - marc0246:helix-ignore, r=saethlin"}},{"before":"fef104380a39474b8a88f8e273a312eedeabb42d","after":"ef8015534aa1e0e12c82c48ad0b779f1248e0d85","ref":"refs/heads/master","pushedAt":"2024-05-17T17:00:16.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3603 - Luv-Ray:issue-3572, r=RalfJung\n\nGive `FileDescription::{read, write}` access to the `MiriInterpCx `\n\nfixes #3572","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291824395\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3603\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3603/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3603\">#3603</a> - Luv-Ray:issue-3572, r=RalfJung"}},{"before":"fef104380a39474b8a88f8e273a312eedeabb42d","after":"ef8015534aa1e0e12c82c48ad0b779f1248e0d85","ref":"refs/heads/auto","pushedAt":"2024-05-17T16:36:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3603 - Luv-Ray:issue-3572, r=RalfJung\n\nGive `FileDescription::{read, write}` access to the `MiriInterpCx `\n\nfixes #3572","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291824395\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3603\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3603/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3603\">#3603</a> - Luv-Ray:issue-3572, r=RalfJung"}},{"before":"3ab1107f6948faa7b82d3f82d09d215ce5f1f838","after":"fef104380a39474b8a88f8e273a312eedeabb42d","ref":"refs/heads/master","pushedAt":"2024-05-17T06:43:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3526 - Strophox:miri-memory, r=RalfJung\n\nAdjust Allocation Bytes used by Miri to custom MiriAllocBytes\n\nPreviously, the `MiriMachine` used `type Bytes = Box<[u8]>` for its allocations.\nThis PR swaps this out for a custom `MiriAllocBytes` type implemented in `alloc_bytes.rs`.\nThis is in anticipation of an extension to Miri's FFI, which will require its allocations to take care of alignment (the methods in `impl AllocBytes for Box<[u8]>` ignore this `_align: Align` argument).\n\nNeeds https://github.com/rust-lang/rust/pull/124492","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267796834\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3526\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3526/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3526\">#3526</a> - Strophox:miri-memory, r=RalfJung"}},{"before":"3ab1107f6948faa7b82d3f82d09d215ce5f1f838","after":"fef104380a39474b8a88f8e273a312eedeabb42d","ref":"refs/heads/auto","pushedAt":"2024-05-17T06:19:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3526 - Strophox:miri-memory, r=RalfJung\n\nAdjust Allocation Bytes used by Miri to custom MiriAllocBytes\n\nPreviously, the `MiriMachine` used `type Bytes = Box<[u8]>` for its allocations.\nThis PR swaps this out for a custom `MiriAllocBytes` type implemented in `alloc_bytes.rs`.\nThis is in anticipation of an extension to Miri's FFI, which will require its allocations to take care of alignment (the methods in `impl AllocBytes for Box<[u8]>` ignore this `_align: Align` argument).\n\nNeeds https://github.com/rust-lang/rust/pull/124492","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2267796834\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3526\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3526/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3526\">#3526</a> - Strophox:miri-memory, r=RalfJung"}},{"before":"35cbdf88d1d0e3d3eae33fa049fc0eb13a7ab5a5","after":"3ab1107f6948faa7b82d3f82d09d215ce5f1f838","ref":"refs/heads/master","pushedAt":"2024-05-16T09:51:09.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3606 - RalfJung:rustup, r=RalfJung\n\nRustup, aligned heap-allocations on wasm\n\nPulls in https://github.com/rust-lang/rust/pull/125003 so allocation tests should now work on wasm.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299747309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3606\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3606/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3606\">#3606</a> - RalfJung:rustup, r=RalfJung"}},{"before":"a50c9fa794e69293b057955617c506c4016dc6c1","after":"3ab1107f6948faa7b82d3f82d09d215ce5f1f838","ref":"refs/heads/auto","pushedAt":"2024-05-16T09:27:34.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3606 - RalfJung:rustup, r=RalfJung\n\nRustup, aligned heap-allocations on wasm\n\nPulls in https://github.com/rust-lang/rust/pull/125003 so allocation tests should now work on wasm.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299747309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3606\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3606/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3606\">#3606</a> - RalfJung:rustup, r=RalfJung"}},{"before":"528adda4462137f8ce0bc65a0702947bd71a321b","after":"a50c9fa794e69293b057955617c506c4016dc6c1","ref":"refs/heads/auto","pushedAt":"2024-05-16T09:17:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3606 - RalfJung:rustup, r=RalfJung\n\nRustup, aligned heap-allocations on wasm\n\nPulls in https://github.com/rust-lang/rust/pull/125003 so allocation tests should now work on wasm.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299747309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3606\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3606/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3606\">#3606</a> - RalfJung:rustup, r=RalfJung"}},{"before":"35cbdf88d1d0e3d3eae33fa049fc0eb13a7ab5a5","after":"528adda4462137f8ce0bc65a0702947bd71a321b","ref":"refs/heads/auto","pushedAt":"2024-05-16T09:01:53.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3606 - RalfJung:rustup, r=RalfJung\n\nRustup\n\nPulls in https://github.com/rust-lang/rust/pull/125003 so allocation tests should now work on wasm.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2299747309\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3606\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3606/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3606\">#3606</a> - RalfJung:rustup, r=RalfJung"}},{"before":"8e3686078cc544220aa499e46abe6c0a8d215686","after":"35cbdf88d1d0e3d3eae33fa049fc0eb13a7ab5a5","ref":"refs/heads/master","pushedAt":"2024-05-13T06:48:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3604 - RalfJung:intrinsics, r=RalfJung\n\nintrinsics: just panic when they get used incorrectly\n\nThis is already what we do most of the time, so do it consistently.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291925034\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3604\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3604/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3604\">#3604</a> - RalfJung:intrinsics, r=RalfJung"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETnjQcwA","startCursor":null,"endCursor":null}},"title":"Activity · rust-lang/miri"}