refactor(pl): swap as program transformations - #1181

refactor(pl): swap as program transformations#1181

strub wants to merge 1 commit into

pl/condEasyCrypt/easycrypt:pl/condfrom

pl/swapEasyCrypt/easycrypt:pl/swapCopy head branch name to clipboard