ariel

The design is definitely historical, and I'd welcome PRs looking to fix it. It might be something I look at myself if I can find the time, as well.

Yeah, sorry, I've not been the best maintainer for this project in recent times since I have a full-time job doing other OSS work, and I don't even use IRC...

Yeah, figured it was about time and I had a conversation with someone about the broad frustration of so much of the Rust ecosystem still being `0.x.x` despite having not...

The change looks fine to me, but we need to move the project over to GitHub Actions since it's still waiting for TravisCI which was killed long ago.

I'm also struggling to setup dap-mode with lldb, and hitting the same cryptic vfork message. It's unclear what isn't set up correctly in order to try to fix it.

Ah, that is true. It seems to take the first one defined, so I didn’t notice. I can change it, but I don’t know what would be the most suitable/mnemonic.

I am okay with this if, and only if, lifthrasiir is.

> Just a pedantic side note, but this means that if you're ok with it, then liftrasiir is No, it doesn't. If you wrote "I am ok with this if...

In light of your comment, I think it probably makes sense to close this PR out for now. I think it's likely that the existing work on the new type...

The sort of questions you're asking in trying to investigate the issue yourself are very architectural ones, and we don't have completed documentation available for the new solver since it...