refactor(pl): looptx as program transformations - #1184

refactor(pl): looptx as program transformations#1184

strub wants to merge 1 commit into

pl/codetxEasyCrypt/easycrypt:pl/codetxfrom

pl/looptxEasyCrypt/easycrypt:pl/looptxCopy head branch name to clipboard