Catherine
Catherine
> Specifically for example the lack of Past() and Rose(), I could certainly do an _ff signal, but I am not sure how that interacts with formal verification. The reason...
So the issue here is that the bare state machine (and the ancillary stuff around it) is extremely complex and I don't know if I'll have time to review it...
@dbaeumer I've implemented something similar in my [YoWASP](https://yowasp.org) toolchain [extension](https://marketplace.visualstudio.com/items?itemName=yowasp.toolchain). It takes a slightly different approach, with a greater degree of isolation (and a bit less efficient), but people are...
> I'm not opposed to the change if others think it's a good idea, it just makes me a bit uncomfortable. I agree. I think originally I had it own...
Ping me in a week or two, my laptop is being repaired so I don't have the credentials for RubyGems handy right now.
Yep, give me a bit.
Version 1.10.0 is live.
I have pushed a tag at the time I made the release. I don't want to commit to creating GH releases since I will probably forget to do it next...
I determined it was Tailscale because I connected via ADB to watch Telegram fail and discovered that TURN is completely broken and also seems to have picked a relay in...
FWIW the BUG-* string was generated some time after the event, I can grab one right before/after a call, but not in the middle of the night. Let me know...