pure/loops: skip output reordering when the ok-tuple is not a permutation of the loop outputs - #25

pure/loops: skip output reordering when the ok-tuple is not a permutation of the loop outputs#25

karthikbhargavan wants to merge 6 commits into

devcryspen/aeneas:devfrom

fix/loop-return-duplicate-outputscryspen/aeneas:fix/loop-return-duplicate-outputsCopy head branch name to clipboard