Handle loop unrolling in inlining relation #74
Description
Augment inlining relation to handle letrecs in memory, and inline them by unrolling loops.
{{ message }}
Augment inlining relation to handle letrecs in memory, and inline them by unrolling loops.