fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) - #1130

fix(phl): check the bound of the upper-bound while rule on all memories (on #1105)#1130

Yiping106283 wants to merge 2 commits into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

Yiping106283:fix-phoare-while-le-boundYiping106283/easycrypt:fix-phoare-while-le-boundCopy head branch name to clipboard