seal5.transform.unroll_loops.visitor

Conservative full unrolling for statically bounded behavioral loops.

Functions

evaluate(expr, values)

Evaluate the small, side-effect-free subset needed for loop bounds.

Classes

FullLoopUnroller([max_trip_count])