miri icon indicating copy to clipboard operation
miri copied to clipboard
verified publisher icon rust-lang

WIP: handle writing to dest within the foreign item handler

Open oli-obk opened this issue 1 year ago • 1 comments

alternative to https://github.com/rust-lang/miri/pull/3777

oli-obk avatar Jul 31 '24 15:07 oli-obk

:umbrella: The latest upstream changes (presumably #3804) made this pull request unmergeable. Please resolve the merge conflicts.

bors avatar Aug 27 '24 19:08 bors

if this is to your liking, I'll port everything

@rustbot ready

oli-obk avatar Sep 28 '24 11:09 oli-obk

:umbrella: The latest upstream changes (presumably #3923) made this pull request unmergeable. Please resolve the merge conflicts.

bors avatar Oct 01 '24 06:10 bors

@rustbot author

RalfJung avatar Oct 09 '24 12:10 RalfJung

:umbrella: The latest upstream changes (possibly 887b4984e2ec4690afb6aa2c3f31408b570033ca) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot avatar Dec 29 '24 09:12 rustbot

@oli-obk do you still plan to pursue this? It seems to have been superseded by a bunch of the other work in that area recently.

RalfJung avatar Feb 02 '25 14:02 RalfJung