Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Allow send actions that are conditionally executed (#1303)
New semantics for worker message passing, which allows send actions to be conditionally executed. Most of the _Worker message passing_ section is rewritten. Fixes #1273.
- Loading branch information