pure icon indicating copy to clipboard operation
pure copied to clipboard
verified publisher icon CakeML

Handle loop unrolling in inlining relation

Open hrutvik opened this issue 1 year ago • 0 comments

Augment inlining relation to handle letrecs in memory, and inline them by unrolling loops.

hrutvik avatar Feb 09 '24 15:02 hrutvik