Expand description
Statement evaluator (Let, Store, If, Loop, Barrier, etc).
Statement executor that gives the parity engine a pure-Rust ground truth
for every Node variant.
This module simulates the exact control-flow, memory, and barrier behavior
that a correct GPU backend must produce. Any divergence in If, Loop,
Barrier, or Store semantics is caught by the conform gate as a concrete
counterexample.
Functions§
- step
- Execute one scheduling step for an invocation.