fix(fel): require per-step weights non-negative over the counter range - #1096

fix(fel): require per-step weights non-negative over the counter range#1096

namasikanam wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix/fel-counter-weightEasyCrypt/easycrypt:fix/fel-counter-weightCopy head branch name to clipboard