- work in progress for stateless/stateful status computation (to turn conditionals into merges, which yield more efficient C code)
- work in progress for stateless/stateful status computation
(to turn conditionals into merges, which yield more efficient C code)