Daniel T
Daniel T
> Another interesting thing to explore performance wise is using `io_uring` rather than `epoll` on Linux[2-4]. Would a change to uring be made in Trantor rather than Drogon?
> Ah, that's true. Would you prefer seeing: "No way to extend symbolic computation". I think that's just another phrasing of what is already given. I think the problem is...
I think it would be very useful to have views over the history. Here's an illustrative use case: I have an algorithm with multiple processes and each action is performed...
@konnov we were discussing this in today's Apalache planning meeting. I can make a self-standing issue too.
I was wondering, if a state S_E is found with no out-edges then is there an easy way to check if the state is reachable from S_0 (assuming it's not...
By the way, just a thought: I see huge value in preconditions, but postconditions on the otherhand seem to be largely a rewriting of the pseudocode. Might it make maintenance...
It's more or less a duplicate yes, I've closed the other one now. I had written something a bit misleading there anyway.
I think this might be technically valid but is very far fetched because validators are rarely, if ever actually _deleted_ on the provider, which is necessary for this to occur....
Thanks that's fine
Doesn't an error ack close the channel?