[documentation]: document the splitwhile tactic#881

strub wants to merge 1 commit intomainEasyCrypt/easycrypt:mainfrom

doc-splitwhile-tacticEasyCrypt/easycrypt:doc-splitwhile-tacticCopy head branch name to clipboard