mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
Just like the `VmProcessor`, with this PR the `BlockProcessor` never processes an identity again that has been completed. This should be a slight performance optimization (when the "default" sequence iterator is used), but more importantly it: - Fixes #1385 - Allows us to remove error-prone code (see below) - Helps with witgen for stateful machines, like those who access memory