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?
I don't think there has been any progress on making a decision
This is mostly design work and little implementation work
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
Try getting a hold on @eddyb . Personally I don't think the current solution is bad.^^