2 ms·
I just read the whole thing, the post would be even better if it includes an example for concurrency. It's not easy to imagine it just by looking at the binary
by m00dy 9d ago
I just read the whole thing, the post would be even better if it includes an example for concurrency. It's not easy to imagine it just by looking at the binary search's example.
- gregwebs 9d agoThey have separate machinery for concurrent code: https://verus-lang.github.io/verus/state_machines/intro.html https://verus-lang.github.io/verus/state_machines/intro.html