Rune Tynan

Results 132 comments of Rune Tynan

Before we get too much further on this PR, I'd like to point out https://github.com/rust-lang/miri/pull/4043/commits/296d806930304c03f2cba91cc8a2fed4a2f38d16 (which I just pushed) on the big PR. It's the changes needed to FileDescription methods...

Amazing timing, me. I'm on vacation for the next week, but will rebase again after

No problem, I forgot to do that a while back, then didn't want to do it until I rebased, and somewhere along the way a test started failing... So I'll...

@RalfJung any update on this? It's fine if you're busy or such, just don't want it to get too stale again hopefully

Thanks, sorry for the unnecessary ping then.

Thanks for the patience and help with getting this over the line! After this merges, I'll work to flesh out the shims more, make it so you can actually do...