{"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:1721454669.0","currentOid":""},"activityList":{"items":[{"before":"1e20e848a8c14706e0bd0528b9a5ed1767c57969","after":null,"ref":"refs/heads/rustup-2024-07-20","pushedAt":"2024-07-20T05:51:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"b11f82b264465df29014df839e06fa9538b6f4a2","after":"a9190c934b05ab803240dac1ab21c8393050063e","ref":"refs/heads/master","pushedAt":"2024-07-20T05:51:07.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3755 - rust-lang:rustup-2024-07-20, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2420576362\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3755\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3755/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3755\">#3755</a> - rust-lang:rustup-2024-07-20, r=RalfJung"}},{"before":"b11f82b264465df29014df839e06fa9538b6f4a2","after":"a9190c934b05ab803240dac1ab21c8393050063e","ref":"refs/heads/auto","pushedAt":"2024-07-20T05:26:56.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3755 - rust-lang:rustup-2024-07-20, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2420576362\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3755\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3755/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3755\">#3755</a> - rust-lang:rustup-2024-07-20, r=RalfJung"}},{"before":null,"after":"1e20e848a8c14706e0bd0528b9a5ed1767c57969","ref":"refs/heads/rustup-2024-07-20","pushedAt":"2024-07-20T05:14:12.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge from rustc","shortMessageHtmlLink":"Merge from rustc"}},{"before":"607961484886559068d3b0af0d2ccf42b02e0c52","after":"b11f82b264465df29014df839e06fa9538b6f4a2","ref":"refs/heads/master","pushedAt":"2024-07-16T06:35:12.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3742 - Vanille-N:master, r=RalfJung\n\nTB: Reserved + Protected + IM + lazy is a horrible combination that should not exist\n\nAs discovered by `@JoJoDeveloping,` the result of having both Protector exceptions on lazy locations (protectors only protect initialized bytes) and interior mutability exceptions for protected tags (Reserved IM does not accept foreign writes when protected) leads to some very undesirable results, namely that we cannot do spurious writes even on protected activated locations.\n\nWe propose that Protected Reserved IM should no longer exist and instead when a type is retagged as part of a `FnEntry` it is assumed to lose interior mutability.\n\nIn fact, this was already being done implicitly because relevant transitions were guarded by an `if protected`, but the difference is that now it also applies to transitions that occur after the end of the protector.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2398234181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3742\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3742/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3742\">#3742</a> - Vanille-N:master, r=RalfJung"}},{"before":"607961484886559068d3b0af0d2ccf42b02e0c52","after":"b11f82b264465df29014df839e06fa9538b6f4a2","ref":"refs/heads/auto","pushedAt":"2024-07-16T06:11:06.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3742 - Vanille-N:master, r=RalfJung\n\nTB: Reserved + Protected + IM + lazy is a horrible combination that should not exist\n\nAs discovered by `@JoJoDeveloping,` the result of having both Protector exceptions on lazy locations (protectors only protect initialized bytes) and interior mutability exceptions for protected tags (Reserved IM does not accept foreign writes when protected) leads to some very undesirable results, namely that we cannot do spurious writes even on protected activated locations.\n\nWe propose that Protected Reserved IM should no longer exist and instead when a type is retagged as part of a `FnEntry` it is assumed to lose interior mutability.\n\nIn fact, this was already being done implicitly because relevant transitions were guarded by an `if protected`, but the difference is that now it also applies to transitions that occur after the end of the protector.","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2398234181\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3742\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3742/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3742\">#3742</a> - Vanille-N:master, r=RalfJung"}},{"before":"e33b45ee7a5a62430878c918c6a743506d7a0328","after":null,"ref":"refs/heads/rustup-2024-07-16","pushedAt":"2024-07-16T06:10:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"d54c18a05856698a8173cf2950c3c42140383253","after":"607961484886559068d3b0af0d2ccf42b02e0c52","ref":"refs/heads/master","pushedAt":"2024-07-16T06:10:03.000Z","pushType":"push","commitsCount":38,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3751 - rust-lang:rustup-2024-07-16, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410240555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3751\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3751/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3751\">#3751</a> - rust-lang:rustup-2024-07-16, r=RalfJung"}},{"before":"d54c18a05856698a8173cf2950c3c42140383253","after":"607961484886559068d3b0af0d2ccf42b02e0c52","ref":"refs/heads/auto","pushedAt":"2024-07-16T05:46:32.000Z","pushType":"push","commitsCount":38,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3751 - rust-lang:rustup-2024-07-16, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2410240555\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3751\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3751/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3751\">#3751</a> - rust-lang:rustup-2024-07-16, r=RalfJung"}},{"before":null,"after":"e33b45ee7a5a62430878c918c6a743506d7a0328","ref":"refs/heads/rustup-2024-07-16","pushedAt":"2024-07-16T05:23:44.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge from rustc","shortMessageHtmlLink":"Merge from rustc"}},{"before":"2810f8b4785d760800b525ab50fa7a98a743cb29","after":"d54c18a05856698a8173cf2950c3c42140383253","ref":"refs/heads/master","pushedAt":"2024-07-14T18:00:20.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 #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\">#3745</a> - joboet:os_unfair_lock, r=RalfJung"}},{"before":"2810f8b4785d760800b525ab50fa7a98a743cb29","after":"d54c18a05856698a8173cf2950c3c42140383253","ref":"refs/heads/auto","pushedAt":"2024-07-14T17:36:19.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 #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\">#3745</a> - joboet:os_unfair_lock, r=RalfJung"}},{"before":"71847898635aed19b15c258909010c705ca5789c","after":"2810f8b4785d760800b525ab50fa7a98a743cb29","ref":"refs/heads/master","pushedAt":"2024-07-14T17:09: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 #3750 - RalfJung:dangling-intermediate-ref, r=RalfJung\n\nadd test for intermediate reference in '&(*x).0 as *const i32'","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407510410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3750\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3750/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3750\">#3750</a> - RalfJung:dangling-intermediate-ref, r=RalfJung"}},{"before":"71847898635aed19b15c258909010c705ca5789c","after":"2810f8b4785d760800b525ab50fa7a98a743cb29","ref":"refs/heads/auto","pushedAt":"2024-07-14T16:45:53.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 #3750 - RalfJung:dangling-intermediate-ref, r=RalfJung\n\nadd test for intermediate reference in '&(*x).0 as *const i32'","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407510410\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3750\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3750/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3750\">#3750</a> - RalfJung:dangling-intermediate-ref, r=RalfJung"}},{"before":"b0dd0a8beb215703a33e8c17c520e057a4ab13e5","after":"71847898635aed19b15c258909010c705ca5789c","ref":"refs/heads/master","pushedAt":"2024-07-10T11:19:11.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 #3720 - safinaskar:read, r=RalfJung\n\nFix libc::read shim: make it write to a buffer correct amount of bytes. Add tests for new behavior\n\nlibc::read shim had a bug: if underlying real call libc::read(fd, buf, N) returns M, then\nlibc::read shim writes N bytes to buf instead of M. Remaining N - M bytes are filled with zeros.\nThis commit fixes this bug and adds tests for new behavior","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381368474\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3720\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3720/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3720\">#3720</a> - safinaskar:read, r=RalfJung"}},{"before":"b0dd0a8beb215703a33e8c17c520e057a4ab13e5","after":"71847898635aed19b15c258909010c705ca5789c","ref":"refs/heads/auto","pushedAt":"2024-07-10T10:55: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 #3720 - safinaskar:read, r=RalfJung\n\nFix libc::read shim: make it write to a buffer correct amount of bytes. Add tests for new behavior\n\nlibc::read shim had a bug: if underlying real call libc::read(fd, buf, N) returns M, then\nlibc::read shim writes N bytes to buf instead of M. Remaining N - M bytes are filled with zeros.\nThis commit fixes this bug and adds tests for new behavior","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381368474\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3720\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3720/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3720\">#3720</a> - safinaskar:read, r=RalfJung"}},{"before":"28887073b4ba39d18ec7ef3a8af26f418af369e8","after":"b0dd0a8beb215703a33e8c17c520e057a4ab13e5","ref":"refs/heads/master","pushedAt":"2024-07-09T06:39:05.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 #3739 - joboet:macos_tls_dtors, r=RalfJung\n\nImplement support for multiple TLS destructors on macOS\n\nI want to get rid of [this `#[cfg]` block](https://github.com/rust-lang/rust/blob/98dcbae5c9ac615d5acfbf42d42b19a77cb9ec11/library/std/src/thread/mod.rs#L195-L211) in `std`, but it is currently required for miri, as it does not support multiple macOS TLS destructors. This is not true for the platform itself, however, as can be observed in the [implementation](https://github.com/apple-oss-distributions/dyld/blob/d552c40cd1de105f0ec95008e0e0c0972de43456/dyld/DyldRuntimeState.cpp#L2239).","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2394050007\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3739\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3739/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3739\">#3739</a> - joboet:macos_tls_dtors, r=RalfJung"}},{"before":"28887073b4ba39d18ec7ef3a8af26f418af369e8","after":"b0dd0a8beb215703a33e8c17c520e057a4ab13e5","ref":"refs/heads/auto","pushedAt":"2024-07-09T06:13: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 #3739 - joboet:macos_tls_dtors, r=RalfJung\n\nImplement support for multiple TLS destructors on macOS\n\nI want to get rid of [this `#[cfg]` block](https://github.com/rust-lang/rust/blob/98dcbae5c9ac615d5acfbf42d42b19a77cb9ec11/library/std/src/thread/mod.rs#L195-L211) in `std`, but it is currently required for miri, as it does not support multiple macOS TLS destructors. This is not true for the platform itself, however, as can be observed in the [implementation](https://github.com/apple-oss-distributions/dyld/blob/d552c40cd1de105f0ec95008e0e0c0972de43456/dyld/DyldRuntimeState.cpp#L2239).","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2394050007\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3739\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3739/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3739\">#3739</a> - joboet:macos_tls_dtors, r=RalfJung"}},{"before":"7ac5cab61afea9014170dc6d2b402531cd8b8fe4","after":null,"ref":"refs/heads/rustup-2024-07-09","pushedAt":"2024-07-09T06:12:22.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"521422adc7404ed5236cf2ad801ec8d1ea3b8818","after":"28887073b4ba39d18ec7ef3a8af26f418af369e8","ref":"refs/heads/master","pushedAt":"2024-07-09T06:12:20.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3741 - rust-lang:rustup-2024-07-09, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2397138165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3741\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3741/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3741\">#3741</a> - rust-lang:rustup-2024-07-09, r=RalfJung"}},{"before":"521422adc7404ed5236cf2ad801ec8d1ea3b8818","after":"28887073b4ba39d18ec7ef3a8af26f418af369e8","ref":"refs/heads/auto","pushedAt":"2024-07-09T05:48:40.000Z","pushType":"push","commitsCount":25,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3741 - rust-lang:rustup-2024-07-09, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2397138165\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3741\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3741/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3741\">#3741</a> - rust-lang:rustup-2024-07-09, r=RalfJung"}},{"before":null,"after":"7ac5cab61afea9014170dc6d2b402531cd8b8fe4","ref":"refs/heads/rustup-2024-07-09","pushedAt":"2024-07-09T05:04:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Merge from rustc","shortMessageHtmlLink":"Merge from rustc"}},{"before":"8f40dd256384883b78700bc348e7f5f272f131ca","after":"521422adc7404ed5236cf2ad801ec8d1ea3b8818","ref":"refs/heads/master","pushedAt":"2024-07-07T08:03:12.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 #3738 - RalfJung:stack-partial-eq, r=RalfJung\n\nStacked Borrows: fix PartialEq for Stack\n\nWe have to compare unknown_bottom as well, it is semantically relevant! This could have merged two adjacent stacks that are not actually equal...","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393933497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3738\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3738/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3738\">#3738</a> - RalfJung:stack-partial-eq, r=RalfJung"}},{"before":"8f40dd256384883b78700bc348e7f5f272f131ca","after":"521422adc7404ed5236cf2ad801ec8d1ea3b8818","ref":"refs/heads/auto","pushedAt":"2024-07-07T07:38:58.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 #3738 - RalfJung:stack-partial-eq, r=RalfJung\n\nStacked Borrows: fix PartialEq for Stack\n\nWe have to compare unknown_bottom as well, it is semantically relevant! This could have merged two adjacent stacks that are not actually equal...","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393933497\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3738\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3738/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3738\">#3738</a> - RalfJung:stack-partial-eq, r=RalfJung"}},{"before":"7671890a0f3d0a5e026eace1018edfec904d8be7","after":"8f40dd256384883b78700bc348e7f5f272f131ca","ref":"refs/heads/master","pushedAt":"2024-07-06T12:53:48.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 #3698 - folkertdev:sched-setaffinity, r=RalfJung\n\nimplement `libc::sched_setaffinity` on linux\n\nfixes https://github.com/rust-lang/miri/issues/2749\n\nthe implementation, like `libc::sched_getaffinity`, just always returns `EINVAL`, which kind of simulates a device with zero cpus. I believe the idea is that callers of this function always do it to optimize, so they are likely to gracefully recover from this function returning an error.\n\nbased on the libc crate, these functions are also available on android and freebsd (but not on macos or windows). So should the implementation of the `sched_*` functions just be copied to the android and freebsd shims?","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367082001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3698\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3698/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3698\">#3698</a> - folkertdev:sched-setaffinity, r=RalfJung"}},{"before":"22dae19452ca604130f59610bc67e3467778a341","after":"8f40dd256384883b78700bc348e7f5f272f131ca","ref":"refs/heads/auto","pushedAt":"2024-07-06T12:30:32.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 #3698 - folkertdev:sched-setaffinity, r=RalfJung\n\nimplement `libc::sched_setaffinity` on linux\n\nfixes https://github.com/rust-lang/miri/issues/2749\n\nthe implementation, like `libc::sched_getaffinity`, just always returns `EINVAL`, which kind of simulates a device with zero cpus. I believe the idea is that callers of this function always do it to optimize, so they are likely to gracefully recover from this function returning an error.\n\nbased on the libc crate, these functions are also available on android and freebsd (but not on macos or windows). So should the implementation of the `sched_*` functions just be copied to the android and freebsd shims?","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367082001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3698\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3698/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3698\">#3698</a> - folkertdev:sched-setaffinity, r=RalfJung"}},{"before":"7671890a0f3d0a5e026eace1018edfec904d8be7","after":"22dae19452ca604130f59610bc67e3467778a341","ref":"refs/heads/auto","pushedAt":"2024-07-06T10:56:52.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3698 - folkertdev:sched-setaffinity, r=RalfJung\n\nimplement `libc::sched_setaffinity` on linux\n\nfixes https://github.com/rust-lang/miri/issues/2749\n\nthe implementation, like `libc::sched_getaffinity`, just always returns `EINVAL`, which kind of simulates a device with zero cpus. I believe the idea is that callers of this function always do it to optimize, so they are likely to gracefully recover from this function returning an error.\n\nbased on the libc crate, these functions are also available on android and freebsd (but not on macos or windows). So should the implementation of the `sched_*` functions just be copied to the android and freebsd shims?","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2367082001\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3698\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3698/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3698\">#3698</a> - folkertdev:sched-setaffinity, r=RalfJung"}},{"before":"b52b5df4517167f7de925c197c1396bef380e5b7","after":null,"ref":"refs/heads/rustup-2024-07-06","pushedAt":"2024-07-06T08:54:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"}},{"before":"d018cf19eb6b5ffb3b962dc224cee8d269e317d1","after":"7671890a0f3d0a5e026eace1018edfec904d8be7","ref":"refs/heads/master","pushedAt":"2024-07-06T08:54:24.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3736 - rust-lang:rustup-2024-07-06, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393398097\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3736\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3736/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3736\">#3736</a> - rust-lang:rustup-2024-07-06, r=RalfJung"}},{"before":"d018cf19eb6b5ffb3b962dc224cee8d269e317d1","after":"7671890a0f3d0a5e026eace1018edfec904d8be7","ref":"refs/heads/auto","pushedAt":"2024-07-06T08:30:55.000Z","pushType":"push","commitsCount":15,"pusher":{"login":"bors","name":"bors","path":"/bors","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3372342?s=80&v=4"},"commit":{"message":"Auto merge of #3736 - rust-lang:rustup-2024-07-06, r=RalfJung\n\nAutomatic Rustup","shortMessageHtmlLink":"Auto merge of <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2393398097\" data-permission-text=\"Title is private\" data-url=\"https://github.com/rust-lang/miri/issues/3736\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/rust-lang/miri/pull/3736/hovercard\" href=\"https://github.com/rust-lang/miri/pull/3736\">#3736</a> - rust-lang:rustup-2024-07-06, r=RalfJung"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEhHSJbgA","startCursor":null,"endCursor":null}},"title":"Activity · rust-lang/miri"}