seal5.transform.unroll_loops

Modules

transform	Full-unroll eligible loops in opted-in Seal5 instructions.
visitor	Conservative full unrolling for statically bounded behavioral loops.