Stream: t-compiler/wg-mir-opt

Topic: current status of panic hooks in miri

vertexclique (Dec 17 2019 at 12:00, on Zulip):
I saw this issue has been opened for implementing panic hook entries in miri. What is the current status? If noone is taking and we agreed on terms can I work on this?

oli (Dec 17 2019 at 12:06, on Zulip):

I don't think there has been any progress on making a decision

oli (Dec 17 2019 at 12:06, on Zulip):

This is mostly design work and little implementation work

vertexclique (Dec 17 2019 at 12:19, on Zulip):

Anything that I can get my hands dirty with? Currently looking to the issues but I couldn't find under a lot under A-miri

RalfJ (Dec 22 2019 at 19:51, on Zulip):

Try getting a hold on @eddyb . Personally I don't think the current solution is bad.^^

Last update: Sep 18 2020 at 20:45UTC