Arvid E. Picciani
Arvid E. Picciani
here's a specific case that solves in 0.4 seconds in z3 but does not return after 3 hours in yices2 [ab.smt2.txt](https://github.com/SRI-CSL/yices2/files/5247791/ab.smt2.txt)
ah, sorry! normally vsock is implemented by using the host kernel vsock implementation. i.e. the host just opens a socket with AF_VSOCK. However, that's not safe in multi tenancy situations...
confusing that this is still open. is it a WONTFIX?
sessions tokens are just transparent arbitrary strings aren't they? could just format sessions as JWT tokens and keep all the existing apis unchanged.
we ended up adapting our system to the way ory works instead of the other way around. It's a bit of a learning curve to _unlearn_ all the ideas you...
thanks for the long response. > Corundum is intended for datacenter networking research where additional functionality is built on top of the core host interface yeah that's why i'm interested....
> Like I said, the KU3P is already supported, yeah, KU3P is about 1 grand the chip alone, plus you need a ton of expensive power delivery. that's more expensive...
thanks, but litex isn't really interesting for business strategy reasons. unless i'm mistaken, liteeth doesnt support 10G anyway.
oh hey sorry about this. my customer hasn't really focused on this. i think the best course of action is to keep the patch downstream.
> Edit: OK I found that on empty lines (e.g. right after a comment line) I could get the complete menu containing Copilot suggestions to show up by typing a...