feat(phl): support backward ecall on bdHoare/phoare goals#1031

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

ecall-phoare-bwdEasyCrypt/easycrypt:ecall-phoare-bwdCopy head branch name to clipboard