Unnecessary parameter renaming

Open wintersteiger opened this issue 5 years ago • 0 comments

Kremlin often renumbers function parameters when it's not really necessary (or at least not obvious why it is necessary). For instance, i1 on mt_create here: https://github.com/project-everest/hacl-star/blob/3cc6ce0ce91ce41fddb328aa809df234e6185eff/dist/gcc64-only/MerkleTree.h#L95

Feb 21 '20 17:02 wintersteiger