Stream: project-ffi-unwind

Topic: 2021-10 update


view this post on Zulip nikomatsakis (Oct 05 2021 at 18:40):

Hey @BatmanAoD (Kyle Strand) -- I realize I kind of don't remember the status of things here. I think we had a meeting and discussed it, though?

view this post on Zulip nikomatsakis (Oct 05 2021 at 19:01):

Maybe drop a few lines in #t-lang > 2021-10-06 planning meeting

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 05 2021 at 23:43):

Sorry, yes, I'll try to put something in there tomorrow. We did have a meeting, and you wrote up a hackmd: https://hackmd.io/6VtamfowQTK-63t3x1Uj4A

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 06 2021 at 18:57):

@nikomatsakis Sorry, didn't realize the planning meeting was today. Based on the notes, it looks like FFI-unwind wasn't mentioned?

view this post on Zulip nikomatsakis (Oct 06 2021 at 19:54):

No, we were pretty full up regardless!

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 07 2021 at 17:54):

@nikomatsakis I still have the biweekly update meeting on the calendar, but I haven't been pinging the group for a few check-ins now; as far as I know, there isn't anyone actively working on those soundness issues now. One thing I do think we need is someone with some Windows unwinding expertise; it looks like the last person pinged in the "catching all unwinding in windows" thread didn't actually respond.

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 21 2021 at 16:25):

@nikomatsakis ping -- not sure about meeting today


Last updated: Jan 26 2022 at 07:47 UTC